Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
Harvey, Paul, Simon Fowler, Ornela Dardha, Gay, Simon J. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2021
This is the companion artifact for the paper "Multiparty Session Types for Safe Runtime Adaptation in an Actor Language". EnsembleS is an actor-based programming language supporting dynamic self-adaptation, (discovery, replacement, and communication), which also guarantees communication safety. The artifact includes the EnsembleS compiler, the modified StMungo code, and all examples contained within the paper.