On the axiomatizability of priority II

Aceto, Luca, Chen, Taolue, Ingolfsdottir, Anna, Luttik, Bas and Van de Pol, Jaco (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28) . pp. 3035-3044. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2011.02.033)


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
Keywords (uncontrolled): Bisimilarity; Equational logic; Process algebra; Priority operator; Non-finitely based algebras
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 12077
Depositing User: Users 3197 not found.
Date Deposited: 27 Sep 2013 12:27
Last Modified: 26 Apr 2018 19:00
URI: https://eprints.mdx.ac.uk/id/eprint/12077

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.