Relaxing atomicity and verifying correctness : considering the case of an asynchronous communication mechanism /
Burton, J.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne,
2005.
Title from cover.
"April, 2005."