An observational approach to defining linearizability on weak memory models

Derrick, J. and Smith, G. (2017) An observational approach to defining linearizability on weak memory models. In: Bouajjani, A. and Silva , A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017. 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 19-22 Jun 2017, Neuchâtel, Switzerland. Lecture Notes in Computer Science (10321). Springer, Cham , pp. 108-123. ISBN 9783319602240

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Derrick, J.
  • Smith, G.
Editors:
  • Bouajjani, A.
  • Silva , A.
Copyright, Publisher and Additional Information:

© 2017 Springer Verlag. 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 (online): 28 May 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)
EP/M017044/1
Depositing User: Symplectic Sheffield
Date Deposited: 10 Jul 2017 14:40
Last Modified: 19 Dec 2022 13:36
Published Version: https://doi.org/10.1007/978-3-319-60225-7_8
Status: Published
Publisher: Springer, Cham
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-319-60225-7_8
Open Archives Initiative ID (OAI ID):

Export

Statistics