A congruence format for name-passing calculi, Electron (2006)

by A Ziegler, D Miller, C Palamidessi
Venue:Notes Theor. Comput. Sci