In: Aarts, E.H.L.; et al.: Lecture Notes in Computer Science, Vol. 506; PARLE'91, Vol. 2, Parallel Languages. Proceedings of the Conference on Parallel Architectures and Languages Europe, 1991, Eindhoven, The Netherlands, pages 59-74. Berlin, Germany: Springer, 1991.
Also as: Technical Report No. 91--10, pages 1-23 pp.. Hamilton, Ontario, Canada: McMaster University, Department of Computer Science and Systems, 1991.
Abstract: The authors introduce a new invariant semantics of concurrent systems which is a direct generalisation of the causal partial order semantics. The new semantics overcomes some of the problems encountered when one uses causal partial orders alone. The authors discuss various aspects of the new invariant model. In particular, they outline how the new invariants can be generated by 1-safe inhibitor Petri nets.
Keywords: paradigms (of) concurrency theory; invariant semantics; concurrent systems; causal partial order semantics; 1-safe inhibitor net.