Proving opacity of a pessimistic STM

Doherty, S., Dongol, B., Derrick, J. et al. (2 more authors) (2017) Proving opacity of a pessimistic STM. In: Fatourou , P., Jiménez, E. and Pedone, F., (eds.) Leibniz International Proceedings in Informatics. 20th International Conference on Principles of Distributed Systems (OPODIS 2016), December 13-16, 2016, Madrid, Spain. Dagstuhl Publishing , Germany , 35.1-35.17. ISBN 9783959770316

Abstract

Metadata

Authors/Creators:
  • Doherty, S.
  • Dongol, B.
  • Derrick, J.
  • Schellhorn, G.
  • Wehrheim, H.
Copyright, Publisher and Additional Information: © Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim; licensed under Creative Commons License CC-BY.
Keywords: Pessimistic STMs, Opacity, Verification, Isabelle, Simulation, TMS2
Dates:
  • Published: 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: 16 Jun 2017 09:40
Last Modified: 16 Jun 2017 09:40
Published Version: https://doi.org/10.4230/LIPIcs.OPODIS.2016.35
Status: Published
Publisher: Dagstuhl Publishing
Refereed: Yes
Identification Number: https://doi.org/10.4230/LIPIcs.OPODIS.2016.35

Share / Export

Statistics