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  - 

SP  - 143

EP  - 154

Y2  - 2025/11/27

ER  -