Acta Informatica

, Volume 16, Issue 1, pp 93–124

A formal model of atomicity in asynchronous systems

  • Eike Best
  • Brian Randell

DOI: 10.1007/BF00289593

Cite this article as:
Best, E. & Randell, B. Acta Informatica (1981) 16: 93. doi:10.1007/BF00289593


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 decentralised system.

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Eike Best
    • 1
  • Brian Randell
    • 1
  1. 1.Computing LaboratoryUniversity of Newcastle upon TyneEngland

Personalised recommendations