PADOVANI, LUCA

PADOVANI, LUCA  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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
An Algebraic Theory for Web Service Contracts. Cosimo Laneve;
Luca Padovani
2013-01-01 - - 4.01 Contributo in Atti di convegno -
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 -