A Formal Model of Atomicity in Asynchronous Systems

  1. Lookup NU author(s)
  2. Professor Eike Best
  3. Professor Brian Randell
Author(s)Best E, Randell B
Publication type Article
JournalActa Informatica
Year1981
Volume16
Issue1
Pages93-124
ISSN (print)0001-5903
ISSN (electronic)1432-0525
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.
PublisherSpringer-Verlag Germany
URLhttp://dx.doi.org/10.1007/BF00289593
DOI10.1007/BF00289593
Actions    Link to this publication