eprintid: 2317
rev_number: 8
eprint_status: archive
userid: 59
dir: disk0/00/00/23/17
datestamp: 2014-10-09 13:14:13
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 13:14:13
type: conference_item
metadata_visibility: show
creators_name: Baltazar, Pedro
creators_name: Vasconcelos, Vasco Thudichum
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Typing dynamic roles in multiparty interaction
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
abstract: 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
pagerange: 1-12
event_title: INForum - Simpósio de Informática 
event_location: Coimbra, Portugal
event_dates: 8th-9th September 2011
event_type: conference
refereed: TRUE
related_url_url: http://inforum.org.pt/INForum2011/programa
related_url_type: org
citation:   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)  
document_url: http://eprints.imtlucca.it/2317/1/Inforum11_TorresVieira.pdf