Items where Author is "Vasconcelos, Vasco Thudichum"

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)

2014

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)

2013

Torres Vieira, Hugo and Vasconcelos, Vasco Thudichum Typing progress in communication-centred systems. In: Coordination Models and Languages. Lecture Notes in Computer Science (7890). Springer, pp. 236-250. ISBN 978-3-642-38493-6 (2013)

Baltazar, Pedro and Caires, Luis and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo A type system for flexible role assignment in multiparty communicating systems. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8191). Springer, pp. 82-96. ISBN 978-3-642-41157-1 (2013)

2011

Baltazar, Pedro and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing dynamic roles in multiparty interaction. In: INForum - Simpósio de Informática , 8th-9th September 2011, Coimbra, Portugal pp. 1-12. (Unpublished) (2011)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

2006

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)

2004

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)