Proving Opacity via Linearizability: A Sound and Complete Method.

Alasdair Armstrong, Brijesh Dongol, Simon Doherty

Browse the full FORTE paper archive.