N. Busi; G. Zavattaro, Deciding reachability problems in Turing-complete fragments of Mobile Ambients, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1223 - 1263 [Scientific article]
C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, Dynamic Error Handling in Service Oriented Applications, «FUNDAMENTA INFORMATICAE», 2009, 95(1), pp. 73 - 102 [Scientific article]
M. Bernardo; L. Padovani; G. Zavattaro, Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 340 (Lecture Notes in Computer Science). [Editorship]
C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, On the Expressive Power of Process Interruption and Compensation, in: Web Services and Formal Methods. Proceedings, BERLIN, Springer, 2009, 5387, pp. 1 - 18 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, Italy, September 4-5, 2008) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, On the expressive power of process interruption and compensation, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 565 - 599 [Scientific article]
N. Busi; M. Gabbrielli; G. Zavattaro, On the expressive power of recursion, replication and iteration in process calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1191 - 1222 [Scientific article]
C. Di Giusto; J. A. Pérez; G. Zavattaro, On the Expressiveness of Forwarding in Higher-Order Communication, in: Theoretical Aspects of Computing - ICTAC 2009. Proceedings, BERLIN, Springer, 2009, 5684, pp. 155 - 169 (atti di: 6th International Colloquium on Theoretical Aspects of Computing - ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009) [Contribution to conference proceedings]
I. Lanese; G. Zavattaro, Programming Sagas in SOCK, in: Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, LOS ALAMITOS, CA, IEEE Computer Society Press, 2009, pp. 189 - 198 (atti di: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November, 2009) [Contribution to conference proceedings]
G. Zavattaro, Reachability Analysis in BioAmbients, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2009, 227(4), pp. 179 - 193 (atti di: International Meeting on Membrane Computing and Biologically Inspired Process Calculi, Iasi - Romania, 3-4 Settembre 2008) [Contribution to conference proceedings]
G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2009, 5688, pp. 158 - 172 (atti di: 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, Bologna, Italy, August 31-September 1, 2009) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, A Foundational Theory of Contracts for Multi-party Service Composition, «FUNDAMENTA INFORMATICAE», 2008, 89(4), pp. 451 - 478 [Scientific article]
G. Zavattaro, A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form, in: M. BERNARDO; P. DEGANO; G. ZAVATTARO, Formal Methods for Computational Systems Biology, BERLIN, Springer, 2008, pp. 507 - 523 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
N. Busi; G. Zavattaro, A Process Algebraic View of Shared Dataspace Coordination, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2008, 75(1), pp. 52 - 85 [Scientific article]
I. Lanese; C. Guidi; F. Montesi; G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, in: Proc. of Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 323 - 332 (atti di: Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, Cape Town. South Africa, 10-14 Nov. 2008) [Contribution to conference proceedings]
