TY  - JOUR

T1  - Data refinement for true concurrency

JO  - Electronic Proceedings in Theoretical Computer Science

PY  - 2013/05/27

AU  - Dongol B

AU  - Derrick J

ED  - 

DO  - DOI: 10.4204/eptcs.115.2

PB  - Open Publishing Association

VL  - 115

SP  - 15

EP  - 35

Y2  - 2024/12/22

ER  -