Symbolic Equivalences for Open Systems Roberto Bruni (Pisa – Illinois) Paolo Baldan (Pisa – Venezia) Andrea Bracciali (Pisa) FM seminar UIUC, 6 Dec. 2002.
Bisimulation by Unification
