TY  - JOUR

T1  - Relational Concurrent Refinement

JO  - Formal Aspects of Computing

PY  - 2003/01/01

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1007/s00165-003-0007-4

VL  - 15

IS  - 2-3

SP  - 182

EP  - 214

Y2  - 2024/12/22

ER  -