In: Baeten, J.C.M.; et al.: Lecture Notes in Computer Science, Vol. 458; CONCUR'90, Theories of Concurrency: Unification and Extension. (Conference, 1990, Amsterdam, The Netherlands), pages 442-455. Berlin, Germany: Springer-Verlag, 1990.
Abstract: The author gives two kinds of specific axiomatics, one describing cases and the other describing actions of en-systems. These two axiomatics do not have the same expressive power, since contacts are not expressible in the action-based approach. The problem of globality and locality, as well as extensions of the given axiomatics to describe processes are discussed.
Keywords: partial order logic; elementary net system axiomatics.