A Session Subtyping Tool. / Lange, Julien; Bravetti, Mario; Bacchiani, Lorenzo; Zavattaro, Gianluigi.

In: Lecture Notes in Computer Science, 21.04.2021.

Research output: Contribution to journalConference articlepeer-review

Forthcoming

Documents

  • main

    Accepted author manuscript, 512 KB, PDF document

  • Julien Lange
  • Mario Bravetti
  • Lorenzo Bacchiani
  • Gianluigi Zavattaro

Abstract

Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo channel communication, the notion of subtyping used in session type implementations is the one defined by Gay and Hole for synchronous communication. This might be because there are several notions of asynchronous session subtyping, these notions are usually undecidable, and only recently sound (but not complete) algorithmic characterizations for these subtypings have been proposed. But the fact that the definition of asynchronous session sub- typing and the theory behind related algorithms are not easily accessible to non-experts may also prevent further integration. The aim of this pa- per, and of the tool presented therein, is to make the growing body of knowledge about asynchronous session subtyping more accessible, thus promoting its integration in practical applications of session types.
Original languageEnglish
JournalLecture Notes in Computer Science
Publication statusAccepted/In press - 21 Apr 2021
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 42102317