, Volume 16, Issue 1, pp 93-124

A formal model of atomicity in asynchronous systems

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.