License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.7.2.8
URN: urn:nbn:de:0030-drops-140327
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/14032/
Harvey, Paul ;
Fowler, Simon ;
Dardha, Ornela ;
Gay, Simon J.
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
Abstract
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.
BibTeX - Entry
@Article{harvey_et_al:DARTS.7.2.8,
author = {Harvey, Paul and Fowler, Simon and Dardha, Ornela and Gay, Simon J.},
title = {{Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)}},
pages = {8:1--8:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Harvey, Paul and Fowler, Simon and Dardha, Ornela and Gay, Simon J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14032},
URN = {urn:nbn:de:0030-drops-140327},
doi = {10.4230/DARTS.7.2.8},
annote = {Keywords: Concurrency, session types, adaptation, actors, trust}
}
|
Keywords: |
|
Concurrency, session types, adaptation, actors, trust |
|
Collection: |
|
DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021) |
|
Related Scholarly Article: |
|
https://doi.org/10.4230/LIPIcs.ECOOP.2021.10 |
|
Issue Date: |
|
2021 |
|
Date of publication: |
|
06.07.2021 |
