About Open Access
A Formal Model of Atomicity in Asynchronous Systems
Lookup NU author(s)
Professor Eike Best
Professor Brian Randell
Best E, Randell B
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.
Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 222 7657
©2014 Newcastle University Library