Author:
Coppo Mario,Cozzi Federico,Dezani-Ciancaglini Mariangiola,Giovannetti Elio,Pugliese Rosario
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Lecture Notes in Computer Science;T. Amtoft,2001
2. ENTCS;F. Barbanera,2002
3. Lecture Notes in Computer Science;L. Bettini,2003
4. Lecture Notes in Computer Science;E. Bonelli,2004
5. Boudol, G.: A Parametric Model of Migration and Mobility, Release 1. Mikado Deliverable D1.2.1 (2003), available at, http://mikado.di.fc.ul.pt/repository/D1.2.1.pdf
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Types for ambient and process mobility;Mathematical Structures in Computer Science;2008-03-07
2. Boxed ambients with communication interfaces;Mathematical Structures in Computer Science;2007-08
3. Security Types for Dynamic Web Data;Trustworthy Global Computing
4. Static vs Dynamic Typing for Access Control in Pi-Calculus;Lecture Notes in Computer Science