Paolo Baldan, Andrea Bracciali, Roberto Bruni. Symbolic Equivalences for Open Systems. In Corrado Priami, Paola Quaglia, editors, Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Volume 3267 of Lecture Notes in Computer Science, pages 1-17, Springer, 2004. [doi]
Abstract is missing.