TY  - CONF

T1  - Bisimulation maps in presheaf categories

JO  - Electronic Notes in Theoretical Computer Science

UR  - http://eprints.whiterose.ac.uk/158375/

PY  - 2019/11/30

AU  - Beohar H

AU  - Küpper S

ED  - 

DO  - DOI: 10.1016/j.entcs.2019.09.002

PB  - Elsevier

VL  - 347

SP  - 5

EP  - 24

Y2  - 2024/12/22

ER  -