Verifying Linearizability on TSO Architectures

Derrick, J., Smith, G. and Dongol, B. (2014) Verifying Linearizability on TSO Architectures. In: Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods. iFM 2014: The 11th International Conference on Integrated Formal Methods, 09/09/2014-11/09/2014, Bertinoro, Italy. Lecture Notes in Computer Science , 8739 . Springer Verlag , pp. 341-356. ISBN 978-3-319-10180-4

Abstract

Metadata

Authors/Creators:
  • Derrick, J.
  • Smith, G.
  • Dongol, B.
Copyright, Publisher and Additional Information: © 2014 Springer. This is an author produced version of a paper subsequently published in Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods. 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: 19 May 2017 14:27
Last Modified: 22 Mar 2018 12:29
Published Version: https://doi.org/10.1007/978-3-319-10181-1_21
Status: Published
Publisher: Springer Verlag
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-10181-1_21
Related URLs:

Share / Export

Statistics