Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016 | 281 | 2016 |
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (5), 1-61, 2009 | 222 | 2009 |
Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 186 | 2016 |
On global types and multi-party session G Castagna, M Dezani-Ciancaglini, L Padovani Logical Methods in Computer Science 8, 2012 | 163 | 2012 |
Global progress for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani Mathematical Structures in Computer Science 26 (2), 238-302, 2016 | 160 | 2016 |
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008 | 147 | 2008 |
The Must Preorder Revisited C Laneve, L Padovani International conference on concurrency theory, 212-225, 2007 | 122 | 2007 |
A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 122 | 2006 |
Foundations of session types G Castagna, M Dezani-Ciancaglini, E Giachino, L Padovani Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009 | 106 | 2009 |
Deadlock and lock freedom in the linear π-calculus L Padovani Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 105 | 2014 |
Mathematical knowledge management in HELM A Asperti, L Padovani, C Sacerdoti Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38, 27-46, 2003 | 102 | 2003 |
A simple library implementation of binary sessions L Padovani Journal of Functional Programming 27, e4, 2017 | 80 | 2017 |
A gentle introduction to multiparty asynchronous session types M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida Formal Methods for Multicore Programming: 15th International School on …, 2015 | 79 | 2015 |
Contracts for mobile processes G Castagna, L Padovani International Conference on Concurrency Theory, 211-228, 2009 | 76 | 2009 |
HELM and the semantic math-web A Asperti, L Padovani, CS Coen, I Schena International Conference on Theorem Proving in Higher Order Logics, 59-74, 2001 | 72 | 2001 |
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation G Castagna, K Nguyen, Z Xu, H Im, S Lenglet, L Padovani Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 54 | 2014 |
Inference of global progress properties for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida Coordination Models and Languages: 15th International Conference …, 2013 | 50 | 2013 |
Contract-based discovery of web services modulo simple orchestrators L Padovani Theoretical Computer Science 411 (37), 3328-3347, 2010 | 48 | 2010 |
The pairing of contracts and session types C Laneve, L Padovani Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 42 | 2008 |
Typing liveness in multiparty communicating systems L Padovani, VT Vasconcelos, HT Vieira Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014 | 31 | 2014 |