![](/img/cover-not-exists.png)
Comparing operational models of name-passing process calculi
Marcelo Fiore, Sam StatonVolume:
204
Year:
2006
Language:
english
Pages:
37
DOI:
10.1016/j.ic.2005.08.004
File:
PDF, 737 KB
english, 2006