Luca Padovani
Author
Alternate names L. Padovani, Luca Padovani
Institution Università di Camerino
Past institutions Università di Camerino, University of Turin, University of Genoa, University of Urbino, Wuhan Engineering Science & Technology Institute +4 more
ORCID: Yes
H-index: 26
I10-index: 51
Works count: 132
Citations count: 2,364
A theory of contracts for Web services
2009 · Giuseppe Castagna, Nils Gesbert, et al. · ACM Transactions on Programming Languages and Systems
Foundations of Session Types and Behavioural Contracts
2016 · Hans Hüttel, Ivan Lanese, et al. · ACM Computing Surveys
Global progress for dynamically interleaved multiparty sessions
2014 · Mario Coppo, Mariangiola Dezani-Ciancaglini, et al. · Mathematical Structures in Computer Science