1. Formalizing style to understand descriptions of software architecture
2. Andrade L., Baldan P., and Baumeister H.. AGILE: Software architecture for mobility. In Recent Trends in Algebraic Develeopment, 16th Intl. Workshop (WADT 2002), volume 2755 of LNCS, Frauenchiemsee, 2003. Springer-Verlag.
3. A spatial logic for concurrency (part I)
4. Capra L., Mascolo, C. and Emmerich W.. Middleware for mobile computing. In Mahmoud Q., editor, Middleware for Communications. John Wiley, 2002.
5. Cardelli L. and Gordon A.. Anytime, anywhere. model logics for mobile ambients. In 27th ACM Symposium on Principles of Programming Languages, pages 365–377. ACM, 2000.