Proving Opacity of a Pessimistic {STM} Doherty, Simon Dongol, Brijesh Derrick, John Schellhorn, Gerhard Wehrheim, Heike Fatourou, Panagiota Jim{\'{e}}nez, Ernesto Pedone, Fernando 2016 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/3160 Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Proving Opacity of a Pessimistic {STM}. In: Fatourou P, Jim{\’{e}}nez E, Pedone F, eds. <i>20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain</i>. LIPIcs. ; 2016:35:1--35:17. doi:<a href="https://doi.org/10.4230/LIPIcs.OPODIS.2016.35">10.4230/LIPIcs.OPODIS.2016.35</a> info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.OPODIS.2016.35 info:eu-repo/semantics/closedAccess