Login / Signup

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

Xiao Jun ChenRocco De Nicola
Published in: ICALP (1996)
Keyphrases