TY  - RPRT
TI  - Relating Apartness and Branching Bisimulation Games
AU  - Jurriaan Rot
AU  - Sebastian Junges
AU  - Harsh Beohar
PY  - 2024
DO  - 10.1007/978-3-031-61716-4_13
UR  - https://arxiv.org/abs/2411.02977
ID  - 2411.02977
ER  -