F. Montesi; C. Guidi; I. Lanese; G. Zavattaro, Dynamic fault handling mechanisms for service-oriented applications, in: Proceedings of the 6th IEEE European Conference on Web Services, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 225 - 234 (atti di: 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 Novembre 2008) [Contributo in Atti di convegno]
M. Bernardo;
P. Degano;
G. Zavattaro, Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008. Advanced lectures, BERLIN, Springer, 2008, pp. 525 (Lecture Notes in Computer Science). [curatela]
M. Bravetti; G. Zavattaro, Foundational Aspects of Contract Compliance and Choreography Conformance, in: Microsoft Research Technical Report, CAMBRIDGE, Microsoft, 2008, MSR-TR-2008-61, pp. 11 - 14 (atti di: Workshop on The Rise and Rise of the Declarative Datacentre, Cambridge (UK), May 2008) [Contributo in Atti di convegno]
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]
L. Cardelli; G. Zavattaro, On the Computational Power of Biochemistry, in: Proc. of Algebraic Biology, Third International Conference, AB 2008, BERLIN, Springer, 2008, pp. 65 - 80 (atti di: Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008) [Contributo in Atti di convegno]
C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, On the interplay between fault handling and request-response service invocations, in: Proc. of Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 190 - 198 (atti di: Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, Xidian, China, 23-27 June 2008) [Contributo in Atti di convegno]
D. Lea; G. Zavattaro, Proceedings of Coordination Models and Languages 10th International Conference (COORDINATION 2008), BERLINN, Springer, 2008, pp. 347 (Lecture Notes in Computer Science, vol. 50-52). [curatela]
G. Zavattaro; L. Cardelli, Termination Problems in Chemical Kinetics, in: Proc. CONCUR 2008 - Concurrency Theory, 19th International Conference, BERLIN, Springer, 2008, pp. 477 - 491 (atti di: CONCUR 2008 - Concurrency Theory, 19th International Conference, Toronto, Canada, August 19-22, 2008) [Contributo in Atti di convegno]
M.Bravetti; G.Zavattaro, A Theory for Strong Service Compliance, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4467, pp. 96 - 112 (atti di: 9th International Conference on Coordination Models and Languages, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
M.Bravetti; G.Zavattaro, Contract Based Multi-party Service Composition, in: International Symposium on Fundamentals of Software Engineering. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4767, pp. 207 - 222 (atti di: International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007) [Contributo in Atti di convegno]
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, in: , 2007, 181, pp. 19 - 33 (atti di: Second International Workshop on Coordination and Organization (CoOrg 2006), Bologna, 13 June 2006) [Contributo in Atti di convegno]
N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro, Linguaggi di Programmazione e Sistemi Software, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 137 - 177 [capitolo di libro]
