Toggle Main Menu Toggle Search

Open Access padlockePrints

Invariants and Paradigms of Concurrency Theory

Lookup NU author(s): Professor Maciej KoutnyORCiD



We introduce a new invariant semantics of concurrent systems which is a direct deneralisation of the casual partial order semantics. Our new semantics overcomes some of the problems encountered when one uses causal partial orders alone. We discuss various aspects of the new invariant model. In particular, we outline how the new invariants can be generated by 1-safe inhibitor Petri nets.

Publication metadata

Author(s): Janicki R, Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1991

Pages: 24

Report Number: 355

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne