The n-nested equivalences are not a congruence for the priority operator

PEDRO R. D'ARGENIO; JUAN V. ECHAGÜE; CECILIA PERTINO

México

Conferencia; PANEL'94 - XX Conferencia Latinoamericana de Informática; 1994

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.