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 June 2017, Neuchâtel, Switzerland. Lecture Notes in Computer Science (10321). Springer, Cham , pp. 108-123. ISBN 9783319602240

Abstract

Metadata

Authors/Creators:
  • Derrick, J.
  • Smith, G.
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:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/M017044/1
Depositing User: Symplectic Sheffield
Date Deposited: 10 Jul 2017 14:40
Last Modified: 23 Mar 2018 12:03
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: https://doi.org/10.1007/978-3-319-60225-7_8

Share / Export

Statistics