Pubblicazioni

Capone, A; Elias, J; Martignon, F, Routing and resource optimization in service overlay networks, «COMPUTER NETWORKS», 2009, 53, pp. 180 - 190 [Articolo in rivista]

Bernardo, M.; Padovani, L.; Zavattaro, G., Formal Methods for Web Services, DEU, Springer, 2009, pp. 341 . [Curatela]

Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca, A Theory of Contracts for Web Services, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31(5), pp. 92 - 153 [Articolo in rivista]

Padovani, Luca, Session Types at the Mirror, in: Proceedings of the 2nd Workshop on Interaction and Concurrency Experience, Waterloo, Open Publishing Association, 2009, 12, pp. 71 - 86 (atti di: 2nd Workshop on Interaction and Concurrency Experience, Bologna, Italy, 31 august 2009) [Contributo in Atti di convegno]

G., Castagna; Padovani, Luca, Contracts for Mobile Processes, in: CONCUR 2009 - Concurrency Theory, DEU, Springer, 2009, LNCS 5710, pp. 211 - 228 (atti di: 20th International Conference on Concurrency Theory, Bologna, Italy, 31 August - 5 september 2009) [Contributo in Atti di convegno]

Padovani, Luca, Contract-based Discovery and Adaptation of Web Services, in: Formal Methods for Web Services, DEU, Springer, 2009, pp. 213 - 260 [Capitolo/Saggio in libro]