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

Abstract

Metadata

Authors/Creators:
  • 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
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: http://dx.doi.org/10.1016/j.scico.2010.07.003
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: 10.1016/j.scico.2010.07.003

Download

Filename: Derrick_42816.pdf

Share / Export

Statistics