Reasoning Algebraically About Refinement on TSO Architectures

Dongol, B., Derrick, J. and Smith, G. (2014) Reasoning Algebraically About Refinement on TSO Architectures. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 8687. pp. 151-168. ISSN 0302-9743

Abstract

Metadata

Authors/Creators:
  • Dongol, B.
  • Derrick, J.
  • Smith, G.
Copyright, Publisher and Additional Information: © 2014 Springer International Publishing Switzerland. This is an author produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 2014
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 03 Mar 2017 14:15
Last Modified: 26 Mar 2018 05:49
Published Version: https://doi.org/10.1007/978-3-319-10882-7_10
Status: Published
Publisher: Springer Verlag
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-10882-7_10
Related URLs:

Share / Export

Statistics