Skip to main content

Comparing operational models of name−passing process calculi

Marcelo P. Fiore and Sam Staton

Journal
Inf. Comput.
Number
4
Pages
524–560
Volume
204
Year
2006