M. Bravetti; G. Zavattaro, A theory of contracts for strong service compliance, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(3), pp. 601 - 638 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5474, pp. 52 - 68 (atti di: Symposium on Trustworthy Global Computing 2008, Barcellona, November 3-4, 2008) [Contributo in Atti di convegno]
M. Bravetti; G. Zavattaro (a cura di): AUTORI VARI, CONCUR 2009 - Concurrency theory, HEIDELBERG, Springer, 2009, pp. 638 (Lecture Notes in Computer Science). [curatela]
M. Bravetti; G. Zavattaro, Contract Compliance and Choreography Conformance in the Presence of Message Queues, in: Web Services and Formal Methods. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
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) [capitolo di libro]
M. Bravetti; I. Lanese; G. Zavattaro, Contract-Driven Implementation of Choreographies, in: Proceedings of Symposium on Trustworthy Global Computing 2008., BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5474, pp. 1 - 18 (atti di: Symposium on Trustworthy Global Computing 2008, Barcellona, November 3-4, 2008) [Contributo in Atti di convegno]
M. Bravetti; G. Zavattaro, On the Expressive Power of Process Interruption and Compensation, in: Web Services and Formal Methods. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
M. Bravetti; G. Zavattaro, On the expressive power of process interruption and compensation, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 565 - 599 [articolo]
M. Bravetti; G. Zavattaro, A Foundational Theory of Contracts for Multi-party Service Composition, «FUNDAMENTA INFORMATICAE», 2008, 89(4), pp. 451 - 478 [articolo]
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 [articolo]
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)). [curatela]
M. Bravetti, Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems, in: , 2008, 194(2), pp. 31 - 57 (atti di: 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007), Lisbon, Portugal, 3 September, 2007) [Contributo in Atti di convegno]
M. Bravetti, Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time., in: , 2008, 209, pp. 83 - 106 (atti di: LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), Paris (France), November 2006) [Contributo in Atti di convegno]
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]
M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone, Replicating Web Services for Scalability, in: Proc. of Symposium on Trustworthy Global Computing (TGC 2007), BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 4912, pp. 204 - 221 (atti di: Symposium on Trustworthy Global Computing 2007, Sophia-Antipolis, France, November 5-6, 2007) [Contributo in Atti di convegno]
