A Semantic Deconstruction of Session Types

Massimo Bartoletti; Alceste Scalas; Roberto Zunino

doi:10.1007/978-3-662-44584-6_28

A Semantic Deconstruction of Session Types

Massimo Bartoletti, Alceste Scalas, Roberto Zunino

College of Engineering and Physical Sciences

Research output: Chapter in Book/Published conference output › Chapter

Abstract

We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems. The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types. This allows us to extend the session types theory to some common programming patterns which are not typically considered in the session types literature.

Original language	English
Title of host publication	International Conference on Concurrency Theory
Publisher	Springer
Chapter	28
Pages	402-418
Volume	8704
ISBN (Electronic)	978-3-662-44584-6
ISBN (Print)	978-3-662-44583-9
DOIs	https://doi.org/10.1007/978-3-662-44584-6_28
Publication status	Published - 2014

Publication series

Name	CONCUR 2014 – Concurrency Theory
Volume	8704
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-662-44584-6_28

Cite this

@inbook{b7da137e6c4c42cab3f75a50194f5fb7,

title = "A Semantic Deconstruction of Session Types",

abstract = "We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems. The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types. This allows us to extend the session types theory to some common programming patterns which are not typically considered in the session types literature.",

author = "Massimo Bartoletti and Alceste Scalas and Roberto Zunino",

year = "2014",

doi = "10.1007/978-3-662-44584-6_28",

language = "English",

isbn = "978-3-662-44583-9",

volume = "8704",

series = "CONCUR 2014 – Concurrency Theory",

publisher = "Springer",

pages = "402--418",

booktitle = "International Conference on Concurrency Theory",

address = "Germany",

}

TY - CHAP

T1 - A Semantic Deconstruction of Session Types

AU - Bartoletti, Massimo

AU - Scalas, Alceste

AU - Zunino, Roberto

PY - 2014

Y1 - 2014

N2 - We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems. The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types. This allows us to extend the session types theory to some common programming patterns which are not typically considered in the session types literature.

AB - We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems. The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types. This allows us to extend the session types theory to some common programming patterns which are not typically considered in the session types literature.

UR - http://link.springer.com/10.1007/978-3-662-44584-6_28

U2 - 10.1007/978-3-662-44584-6_28

DO - 10.1007/978-3-662-44584-6_28

M3 - Chapter

SN - 978-3-662-44583-9

VL - 8704

T3 - CONCUR 2014 – Concurrency Theory

SP - 402

EP - 418

BT - International Conference on Concurrency Theory

PB - Springer

ER -

A Semantic Deconstruction of Session Types

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this