Toggle Main Menu Toggle Search

Open Access padlockePrints

A Formal Model of Atomicity in Asynchronous Systems

Lookup NU author(s): Professor Eike Best, Professor Brian RandellORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We propose a generalisation of occurrence graphs as a formal model of computational structure. The model is used to define the "atomic occurrence" of a program, to characterise "interference freeness" between programs, and to model error recovery in a decentralized system.

Publication metadata

Author(s): Best E, Randell B

Publication type: Article

Publication status: Published

Journal: Acta Informatica

Year: 1981

Volume: 16

Issue: 1

Pages: 93-124

ISSN (print): 0001-5903

ISSN (electronic): 1432-0525

Publisher: Springer-Verlag Germany


DOI: 10.1007/BF00289593


Altmetrics provided by Altmetric