Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Boiten, Eerke and Derrick, John
Unifying concurrent and relational refinement.
Electronic Notes in Theoretical Computer Science, 70
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)