A Formal Model of Atomicity in Asynchronous Systems

Eike Best, Brian Randell. A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica, 16:93-124, 1981.

Abstract

Abstract is missing.