M. Bravetti, Stochastic and Real Time in Process Algebra: A Conceptual Overview, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 113 - 119 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contribution to conference proceedings]
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). [Editorship]
M. Bravetti; H. Hermanns; J.-P. Katoen, YMCA -Why Markov Chain Algebra?, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 107 - 112 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contribution to conference proceedings]
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, 2005, 3653, pp. 248 - 262 (atti di: Concurrency Theory, 16th International Conference, CONCUR'05, San Francisco, CA, USA, August 2005) [Contribution to conference proceedings]
M. Bravetti; L. Kloul; G. Zavattaro, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, BERLIN, Springer, 2005, pp. 348 (Lecture Notes in Computer Science). [Editorship]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 128(5), pp. 39 - 53 (atti di: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), Londra (UK), agosto 2004) [Contribution to conference proceedings]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Quantitative Information in the Tuple Space Coordination Model, «THEORETICAL COMPUTER SCIENCE», 2005, 346(1), pp. 28 - 57 [Scientific article]
M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro, Security Issues in the Tuple-Space Coordination Model, in: Formal Aspects in Security and Trust, BERLINO, Springer, 2005, 173, pp. 1 - 12 (atti di: Workshop on Formal Aspects in Security and Trust, Toulouse, August 22-27, 2004) [Contribution to conference proceedings]
M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro, Supporting e-commerce systems formalization with choreography languages, in: Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2005, pp. 831 - 835 (atti di: 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, Santa Fe (NM, USA), Marzo 2005) [Contribution to conference proceedings]
A.Aldini; M.Bravetti; R.Gorrieri, A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference, «JOURNAL OF COMPUTER SECURITY», 2004, 12(2), pp. 191 - 246 [Scientific article]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contribution to conference proceedings]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2004, 2949, pp. 55 - 70 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Editorship]
M. Bravetti; R. Gorrieri, Proceedings
of the MEFISTO Project 2003, Formal Methods for Security and Time, AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Editorship]
M. Bravetti, Real Time and Stochastic Time, in: Formal Methods for the Design of Real-Time Systems, Revised Lectures, BERLIN, Springer, 2004, pp. 132 - 180 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
