The $n$-nested equivalences are not a congruence for the priority operator
Title | The $n$-nested equivalences are not a congruence for the priority operator |
Publication Type | Conference Paper |
Year of Publication | 1994 |
Authors | D'Argenio, PR, Echagüe, JV, Pertino, C |
Conference Name | Proc. of PANEL'94 - XX Conferencia Latinoamericana de Informática. México |
Abstract | In this paper we are interested in the semantics of reactive systems. We deal with the family of priority operators induced by partial orders over the set of actions we study the compatibility of these operators with regards to semanthic equivalences on labelled transition systems. Our main result is that n-simulation equivalence is not a congruence for this family of operators. We show that the coarsest congruence contained in this equivalence is strictly coarser than n+1-nested equivalence. |
PDF (Full text):