TY - GEN T1 - Relating Apartness and Branching Bisimulation Games T2 - arXiv PY - 2024/11/05 AU - Rot J AU - Junges S AU - Beohar H ED - Y2 - 2024/12/23 ER -