Author:
Castagna Giuseppe,Ghelli Giorgio,Nardelli Francesco Zappa
Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling global computations with
Klaim;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2008-07-31
2. Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close;Programming Languages and Systems;2005
3. MoMo: A Modal Logic for Reasoning About Mobility;Formal Methods for Components and Objects;2005
4. Enforcing Security Policies via Types;Security in Pervasive Computing;2004
5. Graph-Based Models of Internetworking Systems;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003