M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Adaptable Processes (Extended Abstract), in: Proceeding Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, BERLIN, Springer, 2011, LNCS 6722, pp. 90 - 105 (atti di: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011) [Contribution to conference proceedings]
M. Boreale; M. Bravetti, Advanced Mechanisms for Service Composition, Query and Discovery, in: Rigorous Software Engineering for Service-Oriented Systems, HEIDELBERG, Springer, 2011, pp. 282 - 301 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Bravetti; G. Zavattaro, Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory, AMSTERDAM, Elsevier, 2011, pp. 1 . [Editorship]
M. Bravetti; T. Bultan, Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers, HEIDELBERG, Springer, 2011, pp. 191 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]
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]
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]
M. Bravetti; G. Zavattaro, A Foundational Theory of Contracts for Multi-party Service Composition, «FUNDAMENTA INFORMATICAE», 2008, 89(4), pp. 451 - 478 [Scientific article]
J.C.M. Baeten; M. Bravetti, A ground-complete axiomatisation of finite-state processes in a generic process algebra, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2008, 18(6), pp. 1057 - 1089 [Scientific article]
L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon, Algebraic Process Calculi: The First Twenty Five Years and Beyond III, AMSTERDAM, Elsevier, 2008, pp. 165 (Journal of Logic and Algebraic Programming, Vol. 75(1)). [Editorship]
