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


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
Publication statusPublished - 2011


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

Cite this