Control Flow Analysis for the Pi-calculus | C. Bodei, P. Degano, F. Nielson, H. Riis Nielson
| | Type | Conference paper [With referee] | | Conference | Proc. CONCUR'98 | | Year | 1998 No. 1466 pp. 84-98 | | Publisher | Springer-Verlag | | Series | Lecture Notes in Computer Science | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|