![](/img/cover-not-exists.png)
A congruence rule format for name-passing process calculi
Marcelo Fiore, Sam StatonVolume:
207
Year:
2009
Language:
english
Pages:
28
DOI:
10.1016/j.ic.2007.12.005
File:
PDF, 1015 KB
english, 2009