A congruence format for name-passing calculi (2005)

by Axelle Ziegler , Dale Miller , Catuscia Palamidessi
Venue:In Proceedings of the Second Workshop on Structural Operational Semantics (SOS’05), volume 156 of Electron. Notes Theor. Comput. Sci
Citations:16 - 4 self