A Semantic Deconstruction of Session Types

  • Massimo Bartoletti
  • Alceste Scalas
  • Roberto Zunino
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8704)
Cite this paper as:
Bartoletti M., Scalas A., Zunino R. (2014) A Semantic Deconstruction of Session Types. In: Baldan P., Gorla D. (eds) CONCUR 2014 – Concurrency Theory. CONCUR 2014. Lecture Notes in Computer Science, vol 8704. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Massimo Bartoletti
    • 1
  • Alceste Scalas
    • 1
  • Roberto Zunino
    • 2
  1. 1.Università degli Studi di CagliariItaly
  2. 2.Università degli Studi di TrentoItaly

Personalised recommendations