Padovani, Luca, On Projecting Processes into Session Types, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2012, 22(2), pp. 237 - 289 [Scientific article]
Bono, Viviana; Padovani, Luca, Typing Copyless Message Passing, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(1:17), pp. 1 - 50 [Scientific article]
Padovani, Luca, Fair Subtyping for Multi-Party Session Types, in: Coordination Models and Languages, DEU, Springer, 2011, LNCS 6721, pp. 127 - 141 (atti di: 13th International Conference on Coordination Models and Languages, Reykjavík, Iceland, 6-9 june 2011) [Contribution to conference proceedings]
Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca, On Global Types and Multi-Party Sessions, in: Formal Techniques for Distributed Systems, DEU, Springer, 2011, LNCS 6722, pp. 1 - 28 (atti di: 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, Reykjavík, Iceland, 6-9 june 2011) [Contribution to conference proceedings]
Bono, Viviana; Padovani, Luca, Polymorphic Endpoint Types for Copyless Message Passing, in: Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11), Waterloo, Open Publishing Association, 2011, 59, pp. 52 - 67 (atti di: 4th Workshop on Interaction and Concurrency Experience, Reykjavík, Iceland, 9 june 2011) [Contribution to conference proceedings]
Padovani, Luca, Session Types = Intersection Types + Union Types, in: Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS’10), Waterloo, Open Publishing Association, 2011, 45, pp. 71 - 89 (atti di: 5th Workshop on Intersection Types and Related Systems, Edinburgh, Scotland, 10-14 july 2010) [Contribution to conference proceedings]
Bono, Viviana; Chiara, Messa; Padovani, Luca, Typing Copyless Message Passing, in: Programming Languages and Systems, DEU, Springer, 2011, LNCS 6602, pp. 57 - 76 (atti di: 20th European Symposium on Programming, Saarbrücken, Germany, 26 march - 3 april 2011) [Contribution to conference proceedings]
Padovani, Luca, Contract-based discovery of Web services modulo simple orchestrators, «THEORETICAL COMPUTER SCIENCE», 2010, 411(37), pp. 3328 - 3347 [Scientific article]
M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, in: WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*, AACHEN, Sun SITE Central Europe, RWTH Aachen University, 2010, 621, pp. 1 - 8 (atti di: 11º Workshop "Dagli Oggetti agli Agenti" (WOA 2010), Rimini, Italy, 5-7 September 2010) [Contribution to conference proceedings]
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 [Scientific article]
Padovani, Luca, Contract-based Discovery and Adaptation of Web Services, in: Formal Methods for Web Services, DEU, Springer, 2009, pp. 213 - 260 [Chapter or essay]
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) [Contribution to conference proceedings]
Bernardo, M.; Padovani, L.; Zavattaro, G., Formal Methods for Web Services, DEU, Springer, 2009, pp. 341 . [Editorship]
M. Bernardo; L. Padovani; G. Zavattaro, Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 340 (Lecture Notes in Computer Science). [Editorship]
G. Castagna; M. Dezani-Ciancaglini; E. Giachino; L. Padovani, Foundations of Session Types, in: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, NEW YORK, ACM Press, 2009, pp. 219 - 230 (atti di: PPDP 2009, Coimbra, Portugal, September 7-9, 2009) [Contribution to conference proceedings]
