M. Bravetti, Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 194(2), pp. 31 - 57 (atti di: 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007), Lisbon, Portugal, 3 September, 2007) [Contribution to conference proceedings]
M. Bravetti, Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time., in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 209, pp. 83 - 106 (atti di: LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), Paris (France), November 2006) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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, 2008, 4912, pp. 204 - 221 (atti di: Symposium on Trustworthy Global Computing 2007, Sophia-Antipolis, France, November 5-6, 2007) [Contribution to conference proceedings]
M.Bravetti; G.Zavattaro, A Theory for Strong Service Compliance, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2007, 4467, pp. 96 - 112 (atti di: 9th International Conference on Coordination Models and Languages, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007) [Contribution to conference proceedings]
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)). [Editorship]
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)). [Editorship]
M.Bravetti; G.Zavattaro, Contract Based Multi-party Service Composition, in: International Symposium on Fundamentals of Software Engineering. Proceedings, BERLIN, Springer, 2007, 4767, pp. 207 - 222 (atti di: International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007) [Contribution to conference proceedings]
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 [Scientific article]
M. Bravetti; G. Zavattaro, Service Oriented Computing from a Process Algebraic Perspective, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 70(1), pp. 3 - 14 [Scientific article]
M. Bravetti; G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, in: Software Composition. Revised Selected Papers, BERLIN, Springer, 2007, 4829, pp. 34 - 50 (atti di: 6th International Symposium on Software Composition, Braga, 24-25 Marzo) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, Web Services and Formal Methods, AMSTERDAM, Elsevier, 2007, pp. 118 (Journal of Logic and Algebraic Programming, Vol. 70(1)). [Editorship]
J.C.M. Baeten; M. Bravetti, A Generic Process Algebra, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 65 - 71 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contribution to conference proceedings]
M. Bravetti; A. Casalboni; M. Nunez; I. Rodriguez, From Theoretical e-barter Models to an Implementation Based on Web Services, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 159, pp. 241 - 264 (atti di: IPM International Workshop on Foundations of Software Engineering (Theory and Practice) (FSEN'05), Tehran (Iran), October 2005) [Contribution to conference proceedings]
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, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 121 - 125 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contribution to conference proceedings]
