Pubblicazioni

Damien Pous;Davide Sangiorgi, Enhancements of the bisimulation proof method, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 233 - 289 [Capitolo/Saggio in libro]

Davide Sangiorgi, Origins of bisimulation and coinduction, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 1 - 37 [Capitolo/Saggio in libro]

Mario Bravetti;Gianluigi Zavattaro, Service Discovery and Composition Based on Contracts and Choreographic Descriptions, in: Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, Hershey, Pennsylvania, IGI Global, 2012, pp. 60 - 88 [Capitolo/Saggio in libro]

Sara Montagna;Mirko Viroli, A Computational Framework for Multilevel Morphologies, in: Morphogenetic Engineering, Berlin, Springer Berlin Heidelberg, 2012, pp. 383 - 405 (UNDERSTANDING COMPLEX SYSTEMS) [Capitolo/Saggio in libro]

José Luis Fernandez-Marquez; Sara Montagna; Andrea Omicini; Franco Zambonelli, ASENSIS 2012 - First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions, in: Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Los Alamitos, CA, IEEE CS, 2012, pp. xxii - xxiii [Breve introduzione]

Matteo Golfarelli;Il-Yeol Song, DOLAP 2012 workshop summaryProceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12, in: Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12, New York, ACM New York, 2012, pp. 2780 - 2781 [Breve introduzione]

Gerla, Mario; Lee, Eun Kyu; Lee, Uichin; Pau, Giovanni, Emergency vehicular networks, in: Handbook on Securing Cyber-Physical Critical Infrastructure, Amsterdam, Elsevier Inc., 2012, pp. 735 - 761 [Capitolo/Saggio in libro]