A Formal Model of Atomicity in Asynchronous Systems.

Eike Best Brian Randell A Formal Model of Atomicity in Asynchronous Systems. 93-124 1981 16 Acta Inf. db/journals/acta/acta16.html#BestR81