Asynchronous Session Types – Exceptions and Multiparty Interactions

Marco Carbone, Nobuko Yoshida, Kohei Honda

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskning

Abstrakt

Session types are a formalism for structuring communication based on the notion of session: the structure of a conversation is abstracted as a type which is then used as a basis of validating programs through an associated type discipline. While standard session types have proven to be able to capture many real scenarios, there are cases where they are not powerful enough for describing and validating interactions involving more complex scenarios. In this note, we shall explore two extensions of session types to interactional exceptions and multiparty session in presence of asynchronous communication.
OriginalsprogEngelsk
TitelFormal Methods for Web Services
Antal sider25
Vol/bind5569
ForlagSpringer
Publikationsdato2009
Sider187-212
StatusUdgivet - 2009
NavnLecture Notes in Computer Science
Vol/bind5569

Fingeraftryk

Dyk ned i forskningsemnerne om 'Asynchronous Session Types – Exceptions and Multiparty Interactions'. Sammen danner de et unikt fingeraftryk.

Citationsformater