TY  - RPRT
TI  - Data refinement for true concurrency
AU  - Brijesh Dongol
AU  - John Derrick
PY  - 2013
DO  - 10.4204/eptcs.115.2
UR  - https://arxiv.org/abs/1305.6111
ID  - 1305.6111
ER  -