Acta Informatica

, Volume 16, Issue 1, pp 93–124

A formal model of atomicity in asynchronous systems

  • Eike Best
  • Brian Randell
Article

Summary

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

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

Personalised recommendations