In: Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science 5, pages 83-100. 1996. Novosibirsk, Russia.; www.iis.nsk.su/persons/itar/.
Abstract: A new calculus of labelled nondeterministic processes AFLP2 is proposed which is an extension of the known calculus AFP2 introduced by L.A. Cherkasova with labelling function. The denotational and operational semantics and complete axiomatization of the semantic equivalence are presented. The interrelation of net equivalences investigated by the author earlier with equivalences of the algebra (semantic and observational) is considered. Analogs of the net equivalences are defined in AFLP2, allowing one to consider the processes specified by formulas of the algebra at different levels of abstraction.
Keywords: process algebras; labelling; Petri nets; equivalences; semantics; axiomatization.