Seguir
Luca Padovani
Luca Padovani
Afiliación desconocida
Dirección de correo verificada de unicam.it - Página principal
Título
Citado por
Citado por
Año
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
2732016
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
2202009
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
1882016
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
1592016
On global types and multi-party session
G Castagna, M Dezani-Ciancaglini, L Padovani
Logical Methods in Computer Science 8, 2012
1562012
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM SIGPLAN Notices 43 (1), 261-272, 2008
1442008
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
1232006
The Must Preorder Revisited
C Laneve, L Padovani
International conference on concurrency theory, 212-225, 2007
1222007
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
1032009
Deadlock and lock freedom in the linear π-calculus
L Padovani
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
1002014
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
982003
A simple library implementation of binary sessions
L Padovani
Journal of Functional Programming 27, e4, 2017
782017
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
762015
Contracts for mobile processes
G Castagna, L Padovani
International Conference on Concurrency Theory, 211-228, 2009
742009
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
722001
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
562014
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
502013
Contract-based discovery of web services modulo simple orchestrators
L Padovani
Theoretical Computer Science 411 (37), 3328-3347, 2010
472010
The pairing of contracts and session types
C Laneve, L Padovani
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
422008
Contract-based discovery and adaptation of web services
L Padovani
International School on Formal Methods for the Design of Computer …, 2009
322009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20