Items where Author is "Padovani, Luca"
Jump to: Article | Book Section Number of items: 2. ArticleHuttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49 (1). pp. 1-36. ISSN 0360-0300 (2016) Book SectionPadovani, Luca and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing liveness in multiparty communicating systems. In: Coordination Models and Languages. Lecture Notes in Computer Science . Springer, pp. 147-162. ISBN 978-3-662-43376-8 (2014) |
