Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;R. Amadio,1997
2. Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Comput. Sci. 96, 217–248 (1992)
3. Boudol, G.: Asynchrony and the π-calculus, INRIA Res. Report 1702 (1992)
4. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing localities. Theoretical Comput. Sci. 114, 31–61 (1993)
5. Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: the calculus of Boxed Ambients. ACM TOPLAS 26(1), 57–124 (2004)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Informative Types and Effects for Hybrid Migration Control;Runtime Verification;2013
2. Breaking the Box: Simulated Protein Computing;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2012
3. Non-disclosure for distributed mobile code;Mathematical Structures in Computer Science;2011-10-27
4. Flow Policy Awareness for Distributed Mobile Code;CONCUR 2009 - Concurrency Theory;2009
5. Implementing a Distributed Mobile Calculus Using the IMC Framework;Electronic Notes in Theoretical Computer Science;2007-06