Algebraic characterizations of trace and decorated trace equivalences over tree-like structures

Xiao Jun Chen, Rocco De Nicola. Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254(1-2):337-361, 2001. [doi]

Abstract

Abstract is missing.