On the axiomatizability of priority II


Aceto, Luca and Chen, Taolue and Ingolfsdottir, Anna and Luttik, Bas and Pol, Jaco van de (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28). pp. 3035-3044. ISSN 0304-3975

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Article
Copyright:© 2011 Elsevier
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/76410
Official URL:https://doi.org/10.1016/j.tcs.2011.02.033
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 278703