N. Busi, G. Zavattaro, A Process Algebraic View of Shared Dataspace Coordination, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2008, 75(1), pp. 52 - 85 [articolo]
A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, nanoK: a Calculus for the Modeling and Simulation of nano devices, «THEORETICAL COMPUTER SCIENCE», 2008, 408(1), pp. 17 - 30 [articolo]
M.Bravetti, G.Zavattaro, A Theory for Strong Service Compliance, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2007, pp. 96 - 112 (atti di: 9th International Conference on Coordination Models and Languages, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007) [atti di convegno-relazione]
F. Montesi, C. Guidi, G. Zavattaro, Composing Services with JOLIE, in: Proceedings of 5th IEEE European Conference on Web Services (ECOWS'07), LOS ALAMITOS, CA, IEEE, 2007, pp. 13 - 22 (atti di: 5th IEEE European Conference on Web Services (ECOWS'07), Halle, Germania, 26-28 Dicembre 2007) [atti di convegno-relazione]
G. Zavattaro, Compositional vs. Monolilthical Modeling of Nano Devices, in: Proc. of International Conference on Computational Methods in Science and Engineering, MELVILLE, NY, American Institute of Physics (AIP) Conf. Proc., 2007, pp. 681 - 684 (atti di: International Conference on Computational Methods in Science and Engineering (ICCMSE'07), Corfu, Settembre 2007) [atti di convegno-relazione]
M.Bravetti, G.Zavattaro, Contract Based Multi-party Service Composition, in: International Symposium on Fundamentals of Software Engineering. Proceedings, BERLIN, Springer, 2007, pp. 207 - 222 (atti di: International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007) [atti di convegno-relazione]
A.A. Bertossi, D. Rossi, G. Zavattaro, Dall’Algoritmo al Programma, in: AA. VV., Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 179 - 208 [capitolo di libro]
F. Montesi, C. Guidi, R. Lucchi, G. Zavattaro:, JOLIE: a Java Orchestration Language Interpreter Engine, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 181, pp. 19 - 33 (atti di: Second International Workshop on Coordination and Organization (CoOrg 2006), Bologna, 13 June 2006) [atti di convegno-relazione]