A congruence format for name-passing calculi, in (2005)

by A Ziegler, D Miller, C Palamidessi
Venue:Proceedings of SOS 2005: Structural Operational Semantics