A Congruence Rule Format for Name−Passing Process Calculi from Mathematical Structural Operational Semantics
Marcelo P. Fiore and Sam Staton
Book Title
21th IEEE Symposium on Logic in Computer Science (LICS 2006)‚ 12−15 August 2006‚ Seattle‚ WA‚ USA‚ Proceedings
Pages
49–58
Publisher
IEEE Computer Society
Year
2006