Sfoglia per Autore
A Theory of Contracts for Web Services
2009-01-01 Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca
Foundations of Session Types
2009-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
Contracts for Mobile Processes
2009-01-01 G., Castagna; Padovani, Luca
Contract-based Discovery and Adaptation of Web Services
2009-01-01 Padovani, Luca
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper)
2010-01-01 Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Contract-based discovery of Web services modulo simple orchestrators
2010-01-01 Padovani, Luca
Polymorphic Endpoint Types for Copyless Message Passing
2011-01-01 Bono, Viviana; Padovani, Luca
Session Types = Intersection Types + Union Types
2011-01-01 Padovani, Luca
Fair Subtyping for Multi-Party Session Types
2011-01-01 Padovani, Luca
Typing Copyless Message Passing
2011-01-01 Bono, Viviana; Chiara, Messa; Padovani, Luca
On Global Types and Multi-Party Sessions
2011-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
Exception Handling for Copyless Messaging
2012-01-01 Svetlana, Jakšić; Padovani, Luca
On Projecting Processes into Session Types
2012-01-01 Padovani, Luca
On Global Types and Multi-Party Sessions
2012-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
Typing Copyless Message Passing
2012-01-01 Bono, Viviana; Padovani, Luca
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
From Lock Freedom to Progress Using Session Types
2013-01-01 Padovani, Luca
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013-01-01 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Fair Subtyping for Open Session Types
2013-01-01 Padovani, Luca
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
2013-01-01 Bono, Viviana; Padovani, Luca; Andrea, Tosatto
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Theory of Contracts for Web Services | 1-gen-2009 | Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca | Articolo | |
Foundations of Session Types | 1-gen-2009 | Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | Contributo in atto di convegno su volume | |
Contracts for Mobile Processes | 1-gen-2009 | G., Castagna; Padovani, Luca | Contributo in atto di convegno su volume | |
Contract-based Discovery and Adaptation of Web Services | 1-gen-2009 | Padovani, Luca | Capitolo di libro o voce di enciclopedia | |
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) | 1-gen-2010 | Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea | Contributo in atto di convegno su volume | |
Contract-based discovery of Web services modulo simple orchestrators | 1-gen-2010 | Padovani, Luca | Articolo | |
Polymorphic Endpoint Types for Copyless Message Passing | 1-gen-2011 | Bono, Viviana; Padovani, Luca | Contributo in atto di convegno su volume | |
Session Types = Intersection Types + Union Types | 1-gen-2011 | Padovani, Luca | Contributo in atto di convegno su volume | |
Fair Subtyping for Multi-Party Session Types | 1-gen-2011 | Padovani, Luca | Contributo in atto di convegno su volume | |
Typing Copyless Message Passing | 1-gen-2011 | Bono, Viviana; Chiara, Messa; Padovani, Luca | Contributo in atto di convegno su volume | |
On Global Types and Multi-Party Sessions | 1-gen-2011 | Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca | Contributo in atto di convegno su volume | |
Exception Handling for Copyless Messaging | 1-gen-2012 | Svetlana, Jakšić; Padovani, Luca | Contributo in atto di convegno su volume | |
On Projecting Processes into Session Types | 1-gen-2012 | Padovani, Luca | Articolo | |
On Global Types and Multi-Party Sessions | 1-gen-2012 | Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca | Articolo | |
Typing Copyless Message Passing | 1-gen-2012 | Bono, Viviana; Padovani, Luca | Articolo | |
A formal foundation for dynamic delta-oriented software product lines | 1-gen-2012 | Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer | Contributo in atto di convegno su volume | |
From Lock Freedom to Progress Using Session Types | 1-gen-2013 | Padovani, Luca | Contributo in atto di convegno su volume | |
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions | 1-gen-2013 | Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida | Contributo in atto di convegno su volume | |
Fair Subtyping for Open Session Types | 1-gen-2013 | Padovani, Luca | Contributo in atto di convegno su volume | |
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language | 1-gen-2013 | Bono, Viviana; Padovani, Luca; Andrea, Tosatto | Contributo in atto di convegno su volume |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile