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) [Contribution to conference proceedings]
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). [Editorship]
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) [Contribution to conference proceedings]
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 [Scientific article]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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). [Editorship]
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) [Contribution to conference proceedings]
M.Bravetti; G.Zavattaro, A Theory for Strong Service Compliance, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2007, 4467, pp. 96 - 112 (atti di: 9th International Conference on Coordination Models and Languages, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
M.Bravetti; G.Zavattaro, Contract Based Multi-party Service Composition, in: International Symposium on Fundamentals of Software Engineering. Proceedings, BERLIN, Springer, 2007, 4767, pp. 207 - 222 (atti di: International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007) [Contribution to conference proceedings]
A.A. Bertossi; D. Rossi; G. Zavattaro, Dall’Algoritmo al Programma, in: AA. VV., Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 179 - 208 [Chapter or essay]
F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro:, JOLIE: a Java Orchestration Language Interpreter Engine, in: , «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) [Contribution to conference proceedings]
N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro, Linguaggi di Programmazione e Sistemi Software, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 137 - 177 [Chapter or essay]
