Linearizability and Causality

Doherty, S and Derrick, J (2016) Linearizability and Causality. In: SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016. 14th International Conference, SEFM 2016, July 4-8, 2016, Vienna, Austria. , pp. 45-60. ISBN 978-3-319-41590-1


  • Doherty, S
  • Derrick, J
Copyright, Publisher and Additional Information: © 2016 Springer International Publishing. This is an author produced version of a paper subsequently published in Theoretical Computer Science and General Issues. Uploaded in accordance with the publisher's self-archiving policy.
  • Published: 4 July 2016
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: 14 Mar 2017 10:34
Last Modified: 19 Jul 2017 06:40
Status: Published
Identification Number:
Related URLs:

Share / Export