TY  - RPRT
TI  - Translating between models of concurrency
AU  - David Mestel
AU  - A. W. Roscoe
PY  - 2019
UR  - https://arxiv.org/abs/1904.09875
ID  - 1904.09875
ER  -