TY  - RPRT
TI  - Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
AU  - Rob van Glabbeek
PY  - 2015
DO  - 10.1007/978-3-319-23506-6_9
UR  - https://arxiv.org/abs/1509.05842
ID  - 1509.05842
ER  -