Proving Opacity of a Pessimistic STM.

Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Browse the full OPODIS paper archive.