Relational Concurrent Refinement - Partial and Total Frameworks

From Action Systems to Distributed Systems ◽

10.1201/b20053-15 ◽

2016 ◽

pp. 143-154

Author(s):

John Derrick ◽

Eerke Boiten

Download Full-text