On the Monitorability of Session Types, in Theory and Practice (Artifact)

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Research output: Contribution to journalJournal articleResearchpeer-review

5 Downloads (Pure)

Abstract

In the paper "On the Monitorability of Session Types, in Theory and Practice" we study the monitorability of message-passing black-box processes against protocol specifications expressed as session types; we formalise a monitor synthesis procedure, prove its correctness, and discuss its implementation - as a tool that synthesises an executable monitor (in the Scala programming language) from a given session type. This artifact contains the aforementioned monitor synthesis tool, called STMonitor; it includes the tool source code, and documentation to reproduce the examples and benchmarks described in the paper.
Original languageEnglish
JournalDagstuhl Artifacts Series
Volume7
Issue number2
Pages (from-to)2:1--2:3
ISSN2509-8195
DOIs
Publication statusPublished - 2021
Event35th European Conference on Object-Oriented Programming - Virtual event, Aarhus, Denmark
Duration: 11 Jul 202117 Jul 2021
Conference number: 35
https://2021.ecoop.org/

Conference

Conference35th European Conference on Object-Oriented Programming
Number35
LocationVirtual event
Country/TerritoryDenmark
City Aarhus
Period11/07/202117/07/2021
Internet address

Keywords

  • Session types
  • Monitorability
  • Monitor correctness
  • Scalability

Fingerprint

Dive into the research topics of 'On the Monitorability of Session Types, in Theory and Practice (Artifact)'. Together they form a unique fingerprint.

Cite this