Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.

Xiao Jun Chen, Rocco De Nicola

Browse the full ICALP paper archive.