TY  - CONF

T1  - Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders

JO  - Electronic Notes in Theoretical Computer Science

UR  - https://doi.org/10.1016/j.entcs.2015.12.005

PY  - 2015/12/21

AU  - Beohar H

AU  - Cuijpers PJL

ED  - 

DO  - DOI: 10.1016/j.entcs.2015.12.005

PB  - Elsevier BV

VL  - 319

SP  - 51

EP  - 66

Y2  - 2025/11/20

ER  -