2026-07-23T22:06:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14032 2024-03-06T11:05:12Z ddc:004 open_access

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact) Harvey, Paul Fowler, Simon Dardha, Ornela Gay, Simon J. Concurrency session types adaptation actors trust 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paul Harvey and Simon Fowler and Ornela Dardha and Simon J. Gay 2021 Is Part Of DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.7.2.8 urn:nbn:de:0030-drops-140327 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.8 eng https://creativecommons.org/licenses/by/4.0/legalcode