![](/img/cover-not-exists.png)
On the expressiveness and decidability of higher-order process calculi
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan SchmittVolume:
209
Year:
2011
Language:
english
Pages:
29
DOI:
10.1016/j.ic.2010.10.001
File:
PDF, 532 KB
english, 2011