Static Analysis for the Pi-calculus with Applications to Security | C. Bodei, P. Degano, F. Nielson, H. Riis Nielson
| | Type | Journal paper [With referee] | | Journal | Information and Computation | | Year | 2001 Vol. 165 pp. 68-92 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|