Items where Author is "Chen, Xiao Jun"
Number of items: 2. 2001Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001) 1996Chen, Xiao Jun and De Nicola, Rocco Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. In: Automata, Languages and Programming (ICALP 1996). Lecture Notes in Computer Science, 1099 . Springer, pp. 63-74. ISBN 3-540-61440-0 (1996) |