Items where Author is "Padovani, Luca"
Number of items: 15. CaHuttel, 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) Huttel, 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) DeHuttel, 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) HuHuttel, 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) LaHuttel, 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) MoHuttel, 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) PaHuttel, 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) Padovani, 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) RaHuttel, 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) ToHuttel, 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) Padovani, 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) TuHuttel, 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) VaHuttel, 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) Padovani, 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) ZaHuttel, 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) |
