Logo eprints

Typing dynamic roles in multiparty interaction

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)

Download (533kB) | Preview
Related URLs


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.

Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 09 Oct 2014 13:14
Last Modified: 08 Apr 2015 10:37
URI: http://eprints.imtlucca.it/id/eprint/2317

Actions (login required)

Edit Item Edit Item