Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism

Jon Burton. Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism. J. UCS, 11(5):771-802, 2005. [doi]

Abstract

Abstract is missing.