On the Axiomatizability of Priority II

L. Aceto, T. Chen, A. Ingolfsdottir, B. Luttik, J.C. van de Pol

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

This paper contributes to the study of the equational theory of the priority operator of Baeten, Bergstra and Klop in the setting of the process algebra BCCSP. It is shown that, in the presence of at least two actions, the collection of process equations over BCCSP with the priority operator that are valid modulo bisimilarity, irrespective of the chosen priority order over actions, is not finitely based. This holds true even if one restricts oneself to the collection of valid process equations that do not contain occurrences of process variables. © 2011 Elsevier B.V. All rights reserved.
Original languageEnglish
Pages (from-to)3035-3044
JournalTheoretical Computer Science
Volume412
DOIs
Publication statusPublished - 2011

Fingerprint

Dive into the research topics of 'On the Axiomatizability of Priority II'. Together they form a unique fingerprint.

Cite this