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]

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, Dr 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

Project Code	Award No	Project Name	Principal Investigator	Funder's Name	Funder Ref	Lead Dept
306912		Session Types for Reliable Distributed Systems	Simon Gay	Engineering and Physical Sciences Research Council (EPSRC)	EP/T014628/1	Computing Science
300253		BEHAPI	Ornela Dardha	European Commission (EC)	778223	Computing Science