Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

Harvey, P. , Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

[img] Text
246895.pdf - Supplemental Material
Available under License Creative Commons Attribution.

437kB

Publisher's URL: https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=14032

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.

Item Type:Artefact
Glasgow Author(s) Enlighten ID:Gay, Professor Simon and Dardha, Dr Ornela and Fowler, Dr Simon and Harvey, Mr Paul
Authors: Harvey, P., Fowler, S., Dardha, O., and Gay, S. J.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
College of Science and Engineering > School of Engineering > Electronics and Nanoscale Engineering

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
306912Session Types for Reliable Distributed SystemsSimon GayEngineering and Physical Sciences Research Council (EPSRC)EP/T014628/1Computing Science
300253BEHAPIOrnela DardhaEuropean Commission (EC)778223Computing Science