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, BERLIN, Springer, 2004, pp. 44 - 88 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
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, FOSAD 2001/2002 Tutorial Lectures, BERLIN, Springer, 2004, pp. 1 - 43 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri, Web Services for E-commerce: guaranteeing security access and quality of service, in: Proc. of the 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2004, pp. 800 - 806 (atti di: 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies, Nicosia (Cyprus), Marzo 2004) [Contribution to conference proceedings]
