Boiten, Eerke Albert and Derrick, John
(2002)
Unifying concurrent and relational refinement.
Electronic Notes in Theoretical Computer Science,
70
(3).
pp. 94-131.
ISSN 1571-0661.
(doi:10.1016/S1571-0061(05)80488-8)
(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)
This list was generated on Sat Sep 24 20:30:15 2016 BST.
