TY  - CHAP

T1  - Relational concurrent refinement - Partial and total frameworks

T2  - From Action Systems to Distributed Systems: The Refinement Approach

PY  - 2016/04/27

AU  - Derrick J

AU  - Boiten E

ED  - 

SN  - 9781498701587

SP  - 143

EP  - 154

Y2  - 2024/12/22

ER  -