Author:
Giannini Paola,Sangiorgi Davide,Valente Andrea
Reference21 articles.
1. Secure safe ambients;Bugliesi,2001
2. M. Bugliesi, G. Castagna, S. Crafa, Boxed ambients, in: 4th International Conference on Theoretical Aspects of Computer Science, TACS’01, vol. 2215, Springer-Verlag, 2001, pp. 38–63
3. L. Cardelli, Ambit http://www.luca.demon.co.uk/Ambit/Ambit.html. 1997
4. L. Cardelli, Mobile ambient synchronisation, Technical Report 1997-013, Digital SRC, 1997
5. Mobile ambients;Cardelli,1998
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Practical implementation techniques of ambient calculus in conventional dynamic languages;Proceedings of the 29th Annual ACM Symposium on Applied Computing;2014-03-24
2. Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks;Lecture Notes in Computer Science;2011
3. A taxonomy of process calculi for distribution and mobility;Distributed Computing;2010-10-26
4. Nomadic pict;ACM Transactions on Programming Languages and Systems;2010-04
5. Encapsulation and Dynamic Modularity in the π-calculus;Electronic Notes in Theoretical Computer Science;2009-07