TY  - JOUR

T1  - Relational Concurrent Refinement: Automata

JO  - Electronic Notes in Theoretical Computer Science

PY  - 2009/12/31

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1016/j.entcs.2009.12.015

VL  - 259

IS  - C

SP  - 21

EP  - 34

Y2  - 2025/11/27

ER  -