M.Bravetti; G.Zavattaro, A Theory for Strong Service Compliance, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4467, pp. 96 - 112 (atti di: 9th International Conference on Coordination Models and Languages, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007) [Contributo in Atti di convegno]
L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon, Algebraic Process Calculi: The First Twenty Five Years and Beyond, AMSTERDAM, Elsevier, 2007, pp. 119 (The Journal of Logic and Algebraic Programming, Vol. 70(2)). [curatela]
L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon, Algebraic Process Calculi: The First Twenty Five Years and Beyond II, AMSTERDAM, Elsevier, 2007, pp. 122 (Journal of Logic and Algebraic Programming, Vol. 72(1)). [curatela]
M.Bravetti; G.Zavattaro, Contract Based Multi-party Service Composition, in: International Symposium on Fundamentals of Software Engineering. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4767, pp. 207 - 222 (atti di: International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007) [Contributo in Atti di convegno]
M. Bravetti; Adalberto Casalboni; Manuel Núñez; Ismael Rodriguez, From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices, «JOURNAL OF UNIVERSAL COMPUTER SCIENCE», 2007, 13, pp. 2035 - 2075 [articolo]
M. Bravetti; G. Zavattaro, Service Oriented Computing from a Process Algebraic Perspective, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 70(1), pp. 3 - 14 [articolo]
M. Bravetti; G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, in: Software Composition. Revised Selected Papers, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4829, pp. 34 - 50 (atti di: 6th International Symposium on Software Composition, Braga, 24-25 Marzo) [Contributo in Atti di convegno]
M. Bravetti; G. Zavattaro, Web Services and Formal Methods, AMSTERDAM, Elsevier, 2007, pp. 118 (Journal of Logic and Algebraic Programming, Vol. 70(1)). [curatela]
J.C.M. Baeten; M. Bravetti, A Generic Process Algebra, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, 2006, 162, pp. 65 - 71 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contributo in Atti di convegno]
M. Bravetti; A. Casalboni; M. Nunez; I. Rodriguez, From Theoretical e-barter Models to an Implementation Based on Web Services, in: , 2006, 159, pp. 241 - 264 (atti di: IPM International Workshop on Foundations of Software Engineering (Theory and Practice) (FSEN'05), Tehran (Iran), October 2005) [Contributo in Atti di convegno]
M. Bravetti; G. Zavattaro, Service Oriented Computing: A New Challenge for Process Algebras, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, 2006, 162, pp. 121 - 125 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contributo in Atti di convegno]
M. Bravetti, Stochastic and Real Time in Process Algebra: A Conceptual Overview, in: , 2006, 162, pp. 113 - 119 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contributo in Atti di convegno]
M. Bravetti; M. Nunez; G. Zavattaro (a cura di): PIU' DI 30 AUTORI INTERNAZIONALI (NON SI INDICANO LE SPECIFICHE NAZIONALITA'), Web Services and Formal Methods, BERLIN, springer, 2006, pp. 287 (Lecture Notes in Computer Science n. 4184). [curatela]
M. Bravetti; H. Hermanns; J.-P. Katoen, YMCA -Why Markov Chain Algebra?, in: , 2006, 162, pp. 107 - 112 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contributo in Atti di convegno]
M. Bravetti; J. Baeten, A Ground-Complete Axiomatization of Finite State Processes in Process Algebra, in: Proc. of 16th International Conference on Concurrency Theory (CONCUR'05), BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3653, pp. 248 - 262 (atti di: Concurrency Theory, 16th International Conference, CONCUR'05, San Francisco, CA, USA, August 2005) [Contributo in Atti di convegno]
