For the most recent entries see the Petri Nets Newsletter.

Algebra AFP2 for Concurrent Nondeterministic Processes: Fully Abstract Model and Complete Axiomatization.

Cherkasova, Ludmila

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography