TY  - JOUR
ID  - eprints330
KW  - Behavioural equivalences; Abstraction homomorphisms; Minimal representatives; Synchronization trees
AV  - none
Y1  - 2001///
VL  - 254
UR  - http://www.sciencedirect.com/science/article/pii/S030439759900300X
JF  - Theoretical Computer Science
SP  - 337
A1  - Chen, Xiao Jun
A1  - De Nicola, Rocco
SN  - 0304-3975
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.
EP  - 361
N1  - The extended abstract of this paper has been presented at ICALP?96 and appears in LNCS 1099, pp. 63?74.
IS  - 1-2
PB  - Elsevier
TI  - Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
ER  -