Hernán, Melgratti; Padovani, Luca, Chaperone Contracts for Higher-Order Sessions, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [Scientific article]
Padovani, Luca, Context-Free Session Type Inference, in: Programming Languages and Systems, DEU, Springer, 2017, 10201, pp. 804 - 830 (atti di: European Symposium on Programming, Uppsala, Sweden, 22-29 April 2017) [Contribution to conference proceedings]
Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola, On Sessions and Infinite Data, «LOGICAL METHODS IN COMPUTER SCIENCE», 2017, 13, pp. 1 - 45 [Scientific article]
Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2017, 39, pp. 13:1 - 13:45 [Scientific article]
Padovani, Luca, Type-Based Analysis of Linear Communications, in: Behavioural Types: from Theory to Tools, NLD, River Publishers, 2017, pp. 193 - 217 [Chapter or essay]
Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide, Behavioral Types in Programming Languages, «FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES», 2016, 3, pp. 95 - 230 [Scientific article]Open Access
Padovani, Luca, Fair Subtyping for Multi-Party Session Types, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 424 - 464 [Scientific article]
Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi, Foundations of session types and behavioural contracts, «ACM COMPUTING SURVEYS», 2016, 49, Article number: 2873052 , pp. 1 - 36 [Scientific article]Open Access
Coppo, Mario; Dezani, Mariangiola; Nobuko, Yoshida; Padovani, Luca, Global Progress for Dynamically Interleaved Multiparty Sessions, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 238 - 302 [Scientific article]
Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola, On sessions and infinite data, in: Coordination Models and Languages, DEU, Springer Verlag, 2016, 9686, pp. 245 - 261 (atti di: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, 2016) [Contribution to conference proceedings]
Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko, A gentle introduction to multiparty asynchronous session types, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), DEU, Springer Verlag, 2015, pp. 146 - 178 [Chapter or essay]
Laneve, Cosimo; Padovani, Luca, An algebraic theory for web service contracts, «FORMAL ASPECTS OF COMPUTING», 2015, 27, pp. 613 - 640 [Scientific article]Open Access
Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), USA, ACM, 2015, pp. 917 - 934 (atti di: ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pittsburgh, PA, USA, 25-30 October 2015) [Contribution to conference proceedings]
Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), DEU, Springer, 2015, 9037, pp. 83 - 98 (atti di: International Conference on Coordination Models and Languages, Grenoble, France, 2-5 June 2015) [Contribution to conference proceedings]
Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 45 [Scientific article]
