Folgen
Luca Padovani
Luca Padovani
Dipartimento di Informatica, Università degli Studi di Torino
Bestätigte E-Mail-Adresse bei unito.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2492016
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
2232009
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
1732016
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
1552016
On global types and multi-party sessions
G Castagna, M Dezani-Ciancaglini, L Padovani
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 …, 2011
1472011
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM SIGPLAN Notices 43 (1), 261-272, 2008
1432008
The Must Preorder Revisited
C Laneve, L Padovani
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
1282007
A formal account of contracts for web services
S Carpineti, G Castagna, C Laneve, L Padovani
WS-FM 6, 148-162, 2006
1242006
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
1062009
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
962003
Deadlock and lock freedom in the linear π-calculus
L Padovani
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
932014
Contracts for mobile processes
G Castagna, L Padovani
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
792009
A simple library implementation of binary sessions
L Padovani
Journal of Functional Programming 27, e4, 2017
752017
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
702015
HELM and the semantic math-web
A Asperti, L Padovani, CS Coen, I Schena
Theorem Proving in Higher Order Logics: 14th International Conference …, 2001
692001
Contract-based discovery of web services modulo simple orchestrators
L Padovani
Theoretical Computer Science 411 (37), 3328-3347, 2010
512010
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
502014
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
462013
The pairing of contracts and session types
C Laneve, L Padovani
Lecture Notes in Computer Science 5065, 681-700, 2008
412008
Contract-based discovery and adaptation of web services
L Padovani
Formal Methods for Web Services: 9th International School on Formal Methods …, 2009
332009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20