Incompleteness of relational simulations in the blocking paradigm

Boiten, E. and Derrick, J. (2010) Incompleteness of relational simulations in the blocking paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423



  • Boiten, E.
  • Derrick, J.
Copyright, Publisher and Additional Information: © 2010 Elsevier. This is an author produced version of a paper subsequently published in Science of Computer Programming. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Relational refinement; Downward and upward simulations; Joint completeness; Failures refinement
  • Published: December 2010
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Miss Anthea Tucker
Date Deposited: 28 Jan 2011 09:52
Last Modified: 08 Feb 2013 17:30
Published Version:
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number:

Share / Export