Author:
Amtoft Torben,Kfoury Assaf J.,Pericas-Geertsen Santiago M.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Torben Amtoft, Assaf J. Kfoury, and Santiago Pericas-Geersten. What are polymorphically-typed ambients? Technical Report BUCS-TR-2000-021, Comp. Sci. Dept., Boston Univ., December 2000.
2. Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson. Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, 1999.
3. Lect Notes Comput Sci;M. Bugliesi,2000
4. Lect Notes Comput Sci;L. Cardelli,1999
5. Lect Notes Comput Sci;L. Cardelli,1999
Cited by
18 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. Hybrid Logical Analyses of the Ambient Calculus;Logic, Language, Information and Computation;2007
4. A typed encoding of boxed into safe ambients;Acta Informatica;2006-01-04
5. When ambients cannot be opened;Theoretical Computer Science;2005-03