Items where Author is "Ravara, Antonio"
Jump to: Article | Book Section Number of items: 4. 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 SectionFerreira, Carla and Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo and Zavattaro, Gianluigi Advanced mechanisms for service combination and transactions. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 302-325. ISBN 978-3-642-20400-5 (2011) Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo Behavioral theory for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 189-213. ISBN 978-3-642-20400-5 (2011) Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006) |
