Linearizability and Causality.

Simon Doherty, John Derrick

Browse the full SEFM paper archive.