Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

On the xiomatizability of Priority II Luca Acetoa,1

Summary: On the xiomatizability of Priority II
Luca Acetoa,1
, Taolue Chenb
, Anna Ingolfsdottira,1
, Bas Luttikc,d
, Jaco van de Polb
ICE-TCS School of Computer Science Reykjavik University Iceland
bFormal Methods and Tools Faculty of Electrical Engineering Mathematics and Computer Science
University of Twente The Netherlands
cDept. of Math. and Comput. Sci. Eindhoven University of Technology The Netherlands
dDept. of Comput. Sci. Vrije Universiteit Amsterdam The Netherlands
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.
Keywords: Bisimilarity, equational logic, BCCSP, priority operator, non-finitely based


Source: Aceto, Luca - School of Computer Science, Reykjavík University


Collections: Mathematics; Computer Technologies and Information Sciences