License: Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.5.2.5
URN: urn:nbn:de:0030-drops-107825
Go back to Dagstuhl Artifacts Series

Arslanagic, Alen ; PĂ©rez, Jorge A. ; Voogd, Erik

Minimal Session Types (Artifact)

DARTS-5-2-5.pdf (0.4 MB)


This artifact contains MISTY, a tool that decomposes message-passing programs with session types into programs typable with the minimal session types we introduce in our ECOOP paper. MISTY incorporates a domain-specific language for message-passing concurrency based on a higher-order process calculus with {session types}. Given a source program in this language, MISTY follows the results in our ECOOP paper to produce LaTeX code for its corresponding decomposition. To demonstrate the tight connection between source and decomposed programs, MISTY also allows users to simulate their corresponding reductions.

BibTeX - Entry

  author =	{Alen Arslanagic and Jorge A. P{\'e}rez and Erik Voogd},
  title =	{{Minimal Session Types (Artifact)}},
  pages =	{5:1--5:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2019},
  volume =	{5},
  number =	{2},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  doi =		{10.4230/DARTS.5.2.5},
  annote =	{Keywords: Session types, process calculi, pi-calculus}

Keywords: Session types, process calculi, pi-calculus
Collection: Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Related Scholarly Article:
Issue Date: 2019
Date of publication: 12.07.2019

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI