Author:
Monreale Giacoma Valentina
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;F. Bonchi,2006
2. Lecture Notes in Computer Science;F. Bonchi,2009
3. Bonchi, F., Gadducci, F., Monreale, G.V.: Labelled transitions for mobile ambients. In: EXPRESS 2008. ENTCS, vol. 242(1), pp. 73–98 (2009)
4. Lecture Notes in Computer Science;F. Bonchi,2010
5. Cardelli, L., Gordon, A.: Mobile ambients. TCS 240(1), 177–213 (2000)