On the axiomatizability of priority II

I. Bethke (Editor), Luca Aceto, A. Ponse (Editor), T. Chen, Anna Ingolfsdottir, P.H. Rodenburg (Editor), Bas Luttik, Jan Cornelis van de Pol

    Research output: Contribution to journalArticleAcademicpeer-review

    4 Citations (Scopus)
    22 Downloads (Pure)

    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.
    Original languageUndefined
    Pages (from-to)3035-3044
    Number of pages15
    JournalTheoretical computer science
    Volume412
    Issue number28
    DOIs
    Publication statusPublished - 20 Jun 2011

    Keywords

    • Priority operator
    • EWI-19749
    • CR-F.4.1
    • CR-I.1
    • FMT-PA: PROCESS ALGEBRAS
    • Non-finitely based algebras
    • IR-76410
    • Bisimilarity
    • Equational logic
    • Process Algebra
    • METIS-278703

    Cite this