TY  - JOUR

T1  - Unifying concurrent and relational refinement

JO  - Electronic Notes in Theoretical Computer Science

PY  - 2002/01/01

AU  - Boiten E

AU  - Derrick J

ED  - 

DO  - DOI: 10.1016/S1571-0661(05)80488-8

VL  - 70

IS  - 3

SP  - 94

EP  - 131

Y2  - 2024/12/22

ER  -