relation: http://eprints.imtlucca.it/2317/
title: Typing dynamic roles in multiparty interaction
creator: Baltazar, Pedro
creator: Vasconcelos, Vasco Thudichum
creator: Torres Vieira, Hugo 
subject: QA75 Electronic computers. Computer science
description: We present a type-based analysis for role-based multiparty  interaction. Novel to our approach are the notions that a role specified in a protocol may be carried out by several parties, and that one party may assume di%erent roles at di%erent stages of the protocol. We build on Conversation Types by adding roles to protocol specifications. Systems  are modeled in ⇤-calculus extended with labeled communication and role annotations. The main result shows that well-typed systems follow the role-based protocols prescribed by the types, addressing systems where  roles have dynamic distributed implementations.
date: 2011-09
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2317/1/Inforum11_TorresVieira.pdf
identifier:   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)