sessiontype

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

Human fallibility, unpredictable operational environments, and the heterogeneity of hardware devices are driving in the need for software to be able to adapt as seen in the Internet of Things or national telecommunication networks. Unfortunately, …

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)

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 …