TY  - JOUR

T1  - Data refinement for true concurrency

JO  - EPTCS 115, 2013, pp. 15-35

UR  - http://dx.doi.org/10.4204/EPTCS.115.2

PY  - 2013/05/24

AU  - Dongol B

AU  - Derrick J

ED  - 

DO  - DOI: 10.4204/EPTCS.115.2

Y2  - 2025/11/27

ER  -