Author:
Scagnetto Ivan,Miculan Marino
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Types for the ambient calculus;Cardelli;Information and Computation,2002
2. Cardelli L. and A. D. Gordon, Mobile ambients, in: Proc. FOSSACS '98, Lecture Notes in Computer Science 1378 (1998), pp. 140–155.
3. Cardelli L. and A. D. Gordon, Anytime, anywhere. Modal logics for mobile ambients, in: Proc. 27th ACM POPL, 2000, pp. 365–377.
4. Cardelli L. and A. D. Gordon, Logical properties of name restriction, in: S. Abramsky, editor, Proc. TLCA 2001, LNCS 2044 (2001), p. 46.
5. A higher-order specification of the pi-calculus;Despeyroux;IFIP TCS,2000
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献