Luca Padovani
Luca Padovani
Dipartimento di Informatica, Universitŕ degli Studi di Torino
Verified email at unito.it - Homepage
Title
Cited by
Cited by
Year
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
2002009
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM SIGPLAN Notices 43 (1), 261-272, 2008
1372008
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
1362016
The Must Preorder Revisited
C Laneve, L Padovani
International Conference on Concurrency Theory, 212-225, 2007
1212007
A formal account of contracts for web services
S Carpineti, G Castagna, C Laneve, L Padovani
International Workshop on Web Services and Formal Methods, 148-162, 2006
1182006
On global types and multi-party sessions
G Castagna, M Dezani-Ciancaglini, L Padovani
Formal Techniques for Distributed Systems, 1-28, 2011
1172011
Global progress for dynamically interleaved multiparty sessions.
M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani
Math. Struct. Comput. Sci. 26 (2), 238-302, 2016
1032016
Behavioral types in programming languages
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
962016
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
912009
Mathematical knowledge management in HELM
A Asperti, L Padovani, CS Coen, F Guidi, I Schena
Annals of Mathematics and Artificial Intelligence 38 (1-3), 27-46, 2003
892003
Contracts for mobile processes
G Castagna, L Padovani
International Conference on Concurrency Theory, 211-228, 2009
772009
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
692001
Deadlock and lock freedom in the linear π-calculus
L Padovani
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
542014
A novel framework for dynamic spectrum management in multicell OFDMA networks based on reinforcement learning
F Bernardo, R Agustí, J Pérez-Romero, O Sallent
2009 IEEE Wireless Communications and Networking Conference, 1-6, 2009
47*2009
Contract-based discovery of web services modulo simple orchestrators
L Padovani
Theoretical Computer Science 411 (37), 3328-3347, 2010
452010
A simple library implementation of binary sessions
L Padovani
442015
A gentle introduction to multiparty asynchronous session types
M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida
International School on Formal Methods for the Design of Computer …, 2015
432015
Inference of global progress properties for dynamically interleaved multiparty sessions
M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida
International Conference on Coordination Languages and Models, 45-59, 2013
412013
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
382014
The pairing of contracts and session types
C Laneve, L Padovani
Concurrency, Graphs and Models, 681-700, 2008
372008
The system can't perform the operation now. Try again later.
Articles 1–20