Universiät Gesamthochschule Paderborn, Germay; Fachbereich Mathematik, Informatik; No. 72, July 1990.
Abstract: The aim is to prospose a new model based on posets with non-actions to describe the concurrent nondeterministic processes and investigate their properties. The algebra AFP2 of finite concurrent nondeterministic processes is introduced. Denotational semantics based on posets with non-actions is constructed for processes of AFP2. Full abstractness of denotational semantics w.r.t. observational equivalence and its complete axiomatization is proposed.
Keywords: concurrent process axiomatization; denotational semantics; observational equivalence.
Back to the Petri Nets Bibliography