G. Delzanno; A. Sangnier; G. Zavattaro, Parameterized Verification of Safety Properties in Ad Hoc Network Protocols, in: Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2011, 60, pp. 56 - 65 (atti di: First International Workshop on Process Algebra and Coordination, Reykjavik, Iceland, June 9, 2011) [Contribution to conference proceedings]
Ulf Schreier; Gianluigi Zavattaro, Proceedings of the 9th IEEE European Conference on Web Services, ECOWS'11, IEEE, 2011, pp. 1 . [Editorship]
M. Bravetti; G. Zavattaro, Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory, AMSTERDAM, Elsevier, 2011, pp. 1 . [Editorship]
L.Acciai; M.Boreale; G.Zavattaro, Behavioural Contracts with Request-Response Operations, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2010, 6116, pp. 16 - 30 (atti di: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, 7-10 June, 2010) [Contribution to conference proceedings]
M. ter Beek; S. Gnesi; A. Fantechi; G. Zavattaro, Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research), in: Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, AC0TA 2010, Aachen, CEUR Workshop Proceedings (CEUR-WS.org), 2010, 688, pp. 14 - 19 (atti di: 1st International Workshop on Automated Configuration and Tailoring of Applications, Antwerp, Belgium, September 20, 2010) [Contribution to conference proceedings]
L.Acciai; M.Boreale; G.Zavattaro, On the Relationship between Spatial Logics and Behavioral Simulations, in: Foundations of Software Science and Computational Structures. Proceedings, BERLIN, Springer, 2010, 6014, pp. 146 - 160 (atti di: Foundation of Software Science and Computational Structures (FOSSACS), Paphos, Cyprus, 20-28 March, 2010) [Contribution to conference proceedings]
G. Delzanno; A. Sangnier; G. Zavattaro, Parameterized Verification of Ad Hoc Networks, in: CONCUR 2010 - Concurrency Theory. Proceedings, BERLIN, Springer, 2010, 6269, pp. 313 - 327 (atti di: 21th International Conference on Concurrency Theory, CONCUR 2010, Paris, France, August 31-September 3, 2010) [Contribution to conference proceedings]
Doug Lea; Gianluigi Zavattaro (a cura di): AUTORI VARI, Special Issue of the journal of "Science of Computer Programming" dedicated to Coordination Models and Languages, AMSTERDAM, Elsevier, 2010, pp. 95 . [Editorship]
Luca Cardelli; Gianluigi Zavattaro, Turing Universality of the Biochemical Ground Form, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2010, 20(1), pp. 45 - 73 [Scientific article]
M. Bravetti; G. Zavattaro, A theory of contracts for strong service compliance, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(3), pp. 601 - 638 [Scientific article]
M. Bravetti; D. Latella; M. Loreti; M. Massink; G. Zavattaro, Combining Timed Coordination Primitives and Probabilistic Tuple Spaces, in: Proceedings of the Symposium on Trustworthy Global Computing, BERLIN, Springer-Verlag, 2009, 5474, pp. 52 - 68 (atti di: Symposium on Trustworthy Global Computing 2008, Barcellona, November 3-4, 2008) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro (a cura di): AUTORI VARI, CONCUR 2009 - Concurrency theory, HEIDELBERG, Springer, 2009, pp. 638 (Lecture Notes in Computer Science). [Editorship]
M. Bravetti; G. Zavattaro, Contract Compliance and Choreography Conformance in the Presence of Message Queues, in: Web Services and Formal Methods. Proceedings, BERLIN, Springer, 2009, 5387, pp. 37 - 54 (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, Contract-Based Discovery and Composition of Web Services, in: Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 261 - 295 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Bravetti; I. Lanese; G. Zavattaro, Contract-Driven Implementation of Choreographies, in: Proceedings of Symposium on Trustworthy Global Computing 2008., BERLIN, Springer-Verlag, 2009, 5474, pp. 1 - 18 (atti di: Symposium on Trustworthy Global Computing 2008, Barcellona, November 3-4, 2008) [Contribution to conference proceedings]
