![](/img/cover-not-exists.png)
Static Analysis for the π-Calculus with Applications to Security
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis NielsonVolume:
168
Year:
2001
Language:
english
Pages:
25
DOI:
10.1006/inco.2000.3020
File:
PDF, 156 KB
english, 2001