Linearizability and Causality

Doherty, S. and Derrick, J. (2016) Linearizability and Causality. In: Software Engineering and Formal Methods. 14th International Conference, SEFM 2016, 04-08 Jul 2016, Vienna, Austria. Lecture Notes in Computer Science, 9763 . Springer , pp. 45-60. ISBN 978-3-319-41590-1

Abstract

Metadata

Authors/Creators:
  • 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.
Dates:
  • Published (online): 23 June 2016
  • Published: 23 June 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 Jun 2019 15:27
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-41591-8_4
Related URLs:

Share / Export

Statistics