On the axiomatizability of priority II

Article

Aceto, L., Chen, T., Ingolfsdottir, A., Luttik, B. and Van de Pol, J. 2011. On the axiomatizability of priority II. Theoretical Computer Science. 412 (28), pp. 3035-3044. https://doi.org/10.1016/j.tcs.2011.02.033
TypeArticle
TitleOn the axiomatizability of priority II
AuthorsAceto, L., Chen, T., Ingolfsdottir, A., Luttik, B. and Van de Pol, J.
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.

KeywordsBisimilarity; Equational logic; Process algebra; Priority operator; Non-finitely based algebras
Research GroupFoundations of Computing group
PublisherElsevier B. V.
JournalTheoretical Computer Science
ISSN0304-3975
Publication dates
Print20 Jun 2011
Online27 Feb 2011
Publication process dates
Deposited27 Sep 2013
Output statusPublished
Digital Object Identifier (DOI)https://doi.org/10.1016/j.tcs.2011.02.033
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/84679

Log in to edit
  • 18
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as