Reasoning about correctness and security of software is increasingly
dif...
In this paper we develop a theory for correctness of concurrent objects ...
Linearizability is the standard correctness notion for concurrent object...
This research started with an algebra for reasoning about rely/guarantee...