Static Analysis for the π-Calculus with
✍
Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson
📂
Article
📅
2001
🏛
Elsevier Science
🌐
English
⚖ 156 KB