Browse by author
Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We introduce a new invariant semantics of concurrent systems which is a direct generalisation of the causal 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
Editor(s): Aarts, E.H.L., van Leeuwen, J., Rem, M.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 3rd International Conference on Parallel Architectures and Languages Europe (PARLE)
Year of Conference: 1991
Pages: 59-74
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/3-540-54152-7_58
DOI: 10.1007/3-540-54152-7_58
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540541523
