de Boer, F.S.; Jaghoori, M.M.; Laneve, C.; Zavattaro, G., Decidability problems for actor systems, «LOGICAL METHODS IN COMPUTER SCIENCE», 2014, 10, pp. 1 - 28 [articolo]
Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi, Fault Model Design Space for Cooperative Concurrency, in: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8803, pp. 22 - 36 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Corfu, Greece, October 8-11, 2014) [Contributo in Atti di convegno]
Montesi, F.; Guidi, C.; Zavattaro, G., Service-oriented programming with Jolie, in: Web Services Foundations, Berlin, Springer, 2014, pp. 81 - 107 [capitolo di libro]
Mario Bravetti;Marco Carbone;Thomas Hildebrandt;Ivan Lanese;Jacopo Mauro;Jorge A. Pérez;Gianluigi Zavattaro, Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops (part on the 2nd International Workshop on Behavioural Types), Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8368, pp. 3 - 14 (atti di: 2nd International Workshop on Behavioural Types (BEAT 2), Madrid, Spain, September 23-24, 2013) [Contributo in Atti di convegno]
Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro, A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, in: Proceedings of Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7684, pp. 110 - 127 (atti di: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012) [Contributo in Atti di convegno]
Tudor A. Lascu;Jacopo Mauro;Gianluigi Zavattaro, A Planning Tool Supporting the Deployment of Cloud Applications, in: Proceedings of the IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013, IEEE, 2013, pp. 213 - 220 (atti di: IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013) [Contributo in Atti di convegno]
Michel Catan;Roberto Di Cosmo;Antoine Eiche;Tudor A. Lascu;Michel Lienhardt;Jacopo Mauro;Ralf Treinen;Stefano Zacchiroli;Gianluigi Zavattaro;Jakub Zwolakowski, Aeolus: Mastering the Complexity of Cloud Application Deployment, in: Lecture Notes in Computer ScienceService-Oriented and Cloud Computing, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8135, pp. 1 - 3 (atti di: Proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, Malaga, Spain, September 11-13, 2013) [Contributo in Atti di convegno]
Ivan Lanese;Fabrizio Montesi;Gianluigi Zavattaro, Amending Choreographies, in: 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013), 2013, 123, pp. 34 - 48 (atti di: 9th International Workshop on Automated Specification and Verification of Web Systems, Firenze, Italia, 6/6/2013) [Contributo in Atti di convegno]
Lucia Acciai;Michele Boreale;Gianluigi Zavattaro, Behavioural contracts with request–response operations, «SCIENCE OF COMPUTER PROGRAMMING», 2013, 78, pp. 248 - 267 [articolo]
Cristian Versari;Gianluigi Zavattaro, Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract), in: Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), Amsterdam, Elsevier V., 2013, 293, pp. 3 - 15 (atti di: Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), Stockholm, Sweden, 16th of June 2012) [Contributo in Atti di convegno]
Roberto Di Cosmo;Jacopo Mauro;Stefano Zacchiroli;Gianluigi Zavattaro, Component Reconfiguration in the Presence of Conflicts, in: Proceedings of 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7966, pp. 187 - 198 (atti di: 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Riga, Latvia, July 8-12, 2013) [Contributo in Atti di convegno]
Ivan Lanese; Gianluigi Zavattaro, Decidability Results for Dynamic Installation of Compensation Handlers, in: Proc. of 15th International Conference, COORDINATION 2013 Models and Languages, 2013, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7890, pp. 136 - 150 (atti di: 15th International Conference, COORDINATION 2013, Firenze, 3-5/6/2013) [Contributo in Atti di convegno]
M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contributo in Atti di convegno]
M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro, Adaptable processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, Article number: 13, pp. 1 - 71 [articolo]
Cristian Versari;Gianluigi Zavattaro, Complex Functional Rates in Rule-Based Languages for Biochemistry, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2012, 7625, pp. 123 - 150 [articolo]
