ITU

Asynchronous Session Types – Exceptions and Multiparty Interactions

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearch

Standard

Asynchronous Session Types – Exceptions and Multiparty Interactions. / Carbone, Marco; Yoshida, Nobuko; Honda, Kohei.

Formal Methods for Web Services. Vol. 5569 Springer, 2009. p. 187-212 (Lecture Notes in Computer Science, Vol. 5569).

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearch

Harvard

Carbone, M, Yoshida, N & Honda, K 2009, Asynchronous Session Types – Exceptions and Multiparty Interactions. in Formal Methods for Web Services. vol. 5569, Springer, Lecture Notes in Computer Science, vol. 5569, pp. 187-212.

APA

Carbone, M., Yoshida, N., & Honda, K. (2009). Asynchronous Session Types – Exceptions and Multiparty Interactions. In Formal Methods for Web Services (Vol. 5569, pp. 187-212). Springer. Lecture Notes in Computer Science Vol. 5569

Vancouver

Carbone M, Yoshida N, Honda K. Asynchronous Session Types – Exceptions and Multiparty Interactions. In Formal Methods for Web Services. Vol. 5569. Springer. 2009. p. 187-212. (Lecture Notes in Computer Science, Vol. 5569).

Author

Carbone, Marco ; Yoshida, Nobuko ; Honda, Kohei. / Asynchronous Session Types – Exceptions and Multiparty Interactions. Formal Methods for Web Services. Vol. 5569 Springer, 2009. pp. 187-212 (Lecture Notes in Computer Science, Vol. 5569).

Bibtex

@inbook{ba335406029641e0826fbb359b8ddddc,
title = "Asynchronous Session Types – Exceptions and Multiparty Interactions",
abstract = "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.",
author = "Marco Carbone and Nobuko Yoshida and Kohei Honda",
year = "2009",
language = "English",
volume = "5569",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "187--212",
booktitle = "Formal Methods for Web Services",
address = "Germany",

}

RIS

TY - CHAP

T1 - Asynchronous Session Types – Exceptions and Multiparty Interactions

AU - Carbone, Marco

AU - Yoshida, Nobuko

AU - Honda, Kohei

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Book chapter

VL - 5569

T3 - Lecture Notes in Computer Science

SP - 187

EP - 212

BT - Formal Methods for Web Services

PB - Springer

ER -

ID: 31634605