Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/367.pdf
