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