Author:
Busi Nadia,Zavattaro Gianluigi
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;I. Boneva,2003
2. Busi, N., Zavattaro, G.: On the Expressive Power of Movement and Restriction in Pure Mobile Ambients. Theoretical Computer Science 322, 477–515 (2004)
3. Busi, N., Zavattaro, G.: Deciding Reachability in Mobile Ambients - Extended version. Available at http://www.cs.unibo.it/busi/papersaMA05.pdf/
4. Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the ambient calculus. Information and Computation 177(2), 160–194 (2002)
5. Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献