Chapter
Invariants and Paradigms of Concurrency Theory
Abstract
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.
Authors
Janicki R; Koutny M
Book title
Parle ’91 Parallel Architectures and Languages Europe
Series
Lecture Notes in Computer Science
Volume
505
Pagination
pp. 481-496
Publisher
Springer Nature
Publication Date
1991
DOI
10.1007/978-3-662-25209-3_31