Title of article

Type-based information flow analysis for the π-calculus

Author/Authors

Naoki Kobayashi، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2005

Pages

57

From page

291

To page

347

Journal title

acta Informatica

Serial Year

2005

Journal title

acta Informatica

Record number

287827