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)
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 |
|---|---|
| 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 |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)