A Congruence Format for Name-passing Calculi. - Axelle Ziegler; Dale Miller 001; Catuscia Palamidessi (SOS@ICALP, 2005)