PADOVANI, LUCA
PADOVANI, LUCA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004 L.Padovani; C.Sacerdoti Coen; S.Zacchiroli
An Algebraic Theory for Web Service Contracts.
2013 Cosimo Laneve; Luca Padovani
Foundations of session types and behavioural contracts
2016 Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Generative Approach to the Implementation of Language Bindings for the Document Object Model | L.Padovani; C.Sacerdoti Coen; S.Zacchiroli | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| An Algebraic Theory for Web Service Contracts. |
Cosimo Laneve; Luca Padovani |
2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Foundations of session types and behavioural contracts | Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre... Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi | 2016-01-01 | ACM COMPUTING SURVEYS | - | 1.01 Articolo in rivista | published.pdf |