Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 11:50 - 12:10 at Sala VII - Session 2 Chair(s): Dominic Orchard

In this talk we report on recent work in which we investigate a new form of delegation for multiparty session calculi. A paper describing this proposal has been submitted for publication to a journal. In the following after a very brief introduction we present our proposal through an example. Usually, delegation allows a session participant to appoint a participant in another session to act on her behalf. This means that delegation is inherently an inter-session mechanism, which requires session interleaving. Hence delegation falls outside the descriptive power of global types, which specify single sessions. As a consequence, properties such as deadlock-freedom or lock-freedom are difficult to ensure in the presence of delegation. We adopt a different view of delegation, by allowing participants to delegate tasks to each other within the same multiparty session. This way, delegation occurs within a single session (internal delegation) and may be captured by its global type. To increase flexibility in the use of delegation, our calculus uses connecting communications, which allow optional participants in the branches of choices. By these means, we are able to express conditional delegation. We present a session type system based on global types with internal delegation, and show that it ensures the usual safety properties of multiparty sessions, together with a progress property

Global Types with Internal Delegation and Connecting Communications (presentation) (beat.pdf)1.1MiB

Sun 13 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

11:00 - 12:30: BEAT 2019 - Session 2 at Sala VII
Chair(s): Dominic OrchardUniversity of Kent, UK
beat-2019-papers11:00 - 11:50
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
beat-2019-papers11:50 - 12:10
Ilaria CastellaniINRIA Sophia Antipolis, France, Mariangiola DezaniUniversità di Torino, Paola GianniniUniversita' del Piemonte Orientale, Ross HorneComputer Science and Communications Research Unit, University of Luxembourg
File Attached
beat-2019-papers12:10 - 12:30
Mauricio CanoUniversity of Groningen, The Netherlands