Browse by author
Lookup NU author(s): Professor Eike Best,
Professor Brian RandellORCiD
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.
Author(s): Best E, Randell B
Publication type: Article
Publication status: Published
Journal: Acta Informatica
ISSN (print): 0001-5903
ISSN (electronic): 1432-0525
Publisher: Springer-Verlag Germany
Altmetrics provided by Altmetric