In this paper we present a theory for the refinement of shared-memory
co...
The rely/guarantee approach of Jones extends Hoare logic with rely and
g...
Concurrent program refinement algebra provides a suitable basis for
supp...
This research started with an algebra for reasoning about rely/guarantee...