Codensity games for bisimilarity - Komorida, Y; Katsumata, S-Y; Hu, N; Klin, B; Humeau, S; Eberhart, C; Hasuo, I (New Generation Computing, 2022)