TY - CONF T1 - Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders JO - The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI) PY - 2015/12/01 AU - Beohar H AU - Cuijpers PJL ED - Ghica DR PB - Electronic Notes in Theoretical Computer Science VL - 319 SP - 51 EP - 66 Y2 - 2025/04/05 ER -