Toggle Main Menu Toggle Search

Open Access padlockePrints

An Operational Characterisation of the Atomicity of Activities

Lookup NU author(s): Professor Eike Best

Downloads


Abstract

Using structured occurrence graphs, we present an operational characterisation of the atomicity of activities. Broadly, activities are defined to occur atomically if they do not interleave with each other. We discuss our characterisation and use it as a starting point for the discussion of implementation issues and the problem of incorporating atomic actions into a concurrent programming language. We finally examine the use of structured occurrence graphs in connection with techniques for error recovery in decentralised systems.


Publication metadata

Author(s): Best E

Series Editor(s): Shaw B

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1980

Pages: 34

Print publication date: 01/01/1980

Source Publication Date: January 1980

Report Number: 147

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne


Share