Making linearizability compositional for partially ordered executions

Doherty, S., Dongol, B., Wehrheim, H. et al. (1 more author) (2018) Making linearizability compositional for partially ordered executions. In: Furia, C. and Winter, K., (eds.) Integrated Formal Methods. IFM 2018, 05-07 Sep 2018, Maynooth, Ireland. Lecture Notes in Computer Science, 11023 . Springer Verlag , pp. 110-129. ISBN 9783319989372



  • Doherty, S.
  • Dongol, B.
  • Wehrheim, H.
  • Derrick, J.
Copyright, Publisher and Additional Information: © Springer Nature Switzerland AG 2018. This is an author produced version of a paper subsequently published in Integrated Formal Methods (LCS 11023). Uploaded in accordance with the publisher's self-archiving policy.
  • Published (online): 9 August 2018
  • Published: 9 August 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 03 Oct 2018 14:33
Last Modified: 04 Oct 2018 05:56
Published Version:
Status: Published
Publisher: Springer Verlag
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:

Share / Export