Skip to main content

A congruence rule format for name−passing process calculi

Marcelo P. Fiore and Sam Staton

Journal
Inf. Comput.
Number
2
Pages
209–236
Volume
207
Year
2009