View of Simplifying proofs of linearisability using layers of abstraction

Return to Article Details Simplifying proofs of linearisability using layers of abstraction Download Download PDF