Making Linearizability Compositional for Partially Ordered Executions.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Browse the full IFM paper archive.