Title of article
Static Analysis for the π-Calculus with Applications to Security
Author/Authors
Chiara Bodei، نويسنده , , Pierpaolo Degano، نويسنده , , Flemming Nielson، نويسنده , , Hanne Riis Nielson، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
25
From page
68
To page
92
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
261976
Link To Document