TY  - JOUR
VL  - 254
JF  - Theoretical Computer Science
IS  - 1-2
Y1  - 2001///
SP  - 337
PB  - Elsevier
A1  - Chen, Xiao Jun
A1  - De Nicola, Rocco
EP  - 361
N1  - The extended abstract of this paper has been presented at ICALP?96 and appears in LNCS 1099, pp. 63?74.
ID  - eprints330
UR  - http://www.sciencedirect.com/science/article/pii/S030439759900300X
KW  - Behavioural equivalences; Abstraction homomorphisms; Minimal representatives; Synchronization trees
AV  - none
TI  - Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
N2  - Behavioural equivalences of labelled transition systems are characterized in terms of homomorphic transformations. This permits relying on algebraic techniques for proving systems properties and reduces equivalence checking of two systems to studying the relationships among the elements of their structures. Different algebraic characterizations of bisimulation-based equivalences in terms of particular transition system homomorphisms have been proposed in the literature. Here, it is shown that trace and decorated trace equivalences can neither be characterized in terms of transition system homomorphisms, nor be defined locally, i.e., only in terms of action sequences of bounded length and of root-preserving maps. However, results similar to those for bisimulation can be obtained for restricted classes of transition systems. For tree-like systems, we present the algebraic characterizations of trace equivalence and of three well-known decorated trace equivalences, namely ready, ready trace equivalence and failure.
SN  - 0304-3975
ER  -