Using coarse-grained abstractions to verify linearizability on TSO architectures

Derrick, J., Smith, G., Groves, L. et al. (1 more author) (2014) Using coarse-grained abstractions to verify linearizability on TSO architectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8855. pp. 1-16. ISSN 0302-9743

Abstract

Metadata

Authors/Creators:
  • Derrick, J.
  • Smith, G.
  • Groves, L.
  • Dongol, B.
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:31
Last Modified: 19 Apr 2018 03:40
Published Version: Https://doi.org/10.1007/978-3-319-13338-6_1
Status: Published
Publisher: Springer Verlag
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-13338-6_1

Share / Export

Statistics