A formal model of atomicity in asynchronous systems
- 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.