Algebra AFP<sub>2</sub> for Concurrent Nondeterministic Processes: Fully Abstract Model and Complete Axiomatization.

For the most recent entries see the Petri Nets Newsletter.

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

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 AFP₂ of finite concurrent nondeterministic processes is introduced. Denotational semantics based on posets with non-actions is constructed for processes of AFP₂. 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

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

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