Logo eprints

Items where Author is "Ravara, Antonio"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Number of items: 4.

Article

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)

Book Section

Ferreira, 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)

This list was generated on Sun Dec 8 00:12:25 2024 CET.