TY  - RPRT
TI  - A Branching Time Model of CSP
AU  - Rob van Glabbeek
PY  - 2017
DO  - 10.1007/978-3-319-51046-0_14
UR  - https://arxiv.org/abs/1702.07844
ID  - 1702.07844
ER  -