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  - 2024/12/22

ER  -