Toggle Main Menu Toggle Search

Open Access padlockePrints

Structure of Concurrency

Lookup NU author(s): Professor Maciej KoutnyORCiD



True concurrency semantics assume that behavioural properities of non-sequential systems can be adequately modelled in terms of casual partial orders. We claim that the structure of concurrency is richer, with casuality being only one of several invariants that could be used to faith fully characterise concurrent behaviours. The model we are going to investigate has three levels: the Observation level - dealing with single runs or executions; the Invariant level - dealing with invariant relations reflecting the structural properties of the concurrent system; and the System level. Here the presentation is focused on the Observation and Invariant levels and their mutual relationship.

Publication metadata

Author(s): Koutny M, Janicki R

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1991

Pages: 16

Report Number: 367

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne