Guaranteeing the soundness of rely/guarantee rules /
Coleman, J. W.
Jones, C. B.(Cliff B.),1944-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2006.
Cover title.
Includes bibliography (p. 14-15).
Sequential processing (Computer science)
Computer engineering.