Travelled to:1 × Germany
Collaborated with:R.D.Nicola
Talks about:character (1) structur (1) equival (1) algebra (1) trace (1) decor (1) tree (1) like (1)
Person: Xiao Jun Chen
DBLP: Chen:Xiao_Jun
Contributed to:
1996Wrote 1 papers:
- ICALP-1996-ChenN #algebra
- Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.