TY  - JOUR

T1  - More Relational Concurrent Refinement: Traces and Partial Relations

JO  - Electronic Notes in Theoretical Computer Science

PY  - 2008/01/01

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1016/j.entcs.2008.06.012

VL  - 214

IS  - C

SP  - 255

EP  - 276

Y2  - 2024/10/23

ER  -