Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. SENSORIA Process Calculi for Service-Oriented Computing. In Ugo Montanari, Don Sanella, and Roberto Bruni, editors, Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy, volume 4461 of LNCS, pages 30–50. Springer, 2006.
M. Barbera, A. Lombardo, G. Schembra, and M. Tribastone. A Markov Model of a Freerider in a BitTorrent P2P Network. In Proceedings of GLOBECOM, St. Louis, MO, 2005. IEEE Computer Society Press.