TY  - CONF

T1  - Relational concurrent refinement part II: Internal operations and outputs

JO  - FORMAL ASPECTS OF COMPUTING

PY  - 2009/02/01

AU  - Boiten E

AU  - Derrick J

AU  - Schellhorn G

ED  - 

DO  - DOI: 10.1007/s00165-007-0066-z

VL  - 21

IS  - 1-2

SP  - 65

EP  - 102

Y2  - 2024/12/22

ER  -