Book Chapters

Copyright Notice: The material below is presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the articles below may not be reposted without explicit permission of the copyright holder.

M. Bravetti, G. Zavattaro,

``Service Discovery based on Behavioural Contracts''

in ``International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, SFM-09:WS, Revised Lectures'', Bertinoro, Italy, June 1-6, 2009, to appear in LNCS.

M. Bravetti,

``Real Time and Stochastic Time''

in ``Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures'', M. Bernardo and F. Corradini eds., LNCS 3185: 132-180, 2004

M. Bravetti, P.R. D'Argenio

``Tutte le algebre insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions''

in ``Validation of Stochastic Systems - A Guide to Current Research'', Christel Baier et al eds., LNCS 2925: 44-88, 2004

A. Aldini, M. Bravetti, A. Di Pierro, R. Gorrieri, C. Hankin, H. Wiklicky

``Two Formal Approaches for Approximating Noninterference Properties''

in ``Foundations of Security Analysis and Design II'', R. Focardi and R. Gorrieri eds., LNCS 2946: 1-43, 2004