Logo eprints

Items where Author is "Baltazar, Pedro"

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: 2.

Book Section

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)

Conference or Workshop Item

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)

This list was generated on Fri Mar 29 10:09:04 2024 CET.