TY - JOUR
T1 - On the Axiomatizability of Priority II
AU - Aceto, L.
AU - Chen, T.
AU - Ingolfsdottir, A.
AU - Luttik, B.
AU - van de Pol, J.C.
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
U2 - 10.1016/j.tcs.2011.02.033
DO - 10.1016/j.tcs.2011.02.033
M3 - Article
SN - 0304-3975
VL - 412
SP - 3035
EP - 3044
JO - Theoretical Computer Science
JF - Theoretical Computer Science
ER -