Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
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.
Keywords: Bisimilarity, equational logic, BCCSP, priority operator, non-finitely based
algebras

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences