On the axiomatizability of priority II |
| |
Authors: | Luca AcetoTaolue Chen Anna IngolfsdottirBas Luttik Jaco van de Pol |
| |
Affiliation: | a ICE-TCS, School of Computer Science, Reykjavik University, Icelandb Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, The Netherlandsc Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlandsd Department of Computer Science, 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 Process algebra Priority operator Non-finitely based algebras |
本文献已被 ScienceDirect 等数据库收录! |
|