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

Paul Harvey, Simon Fowler, Ornela Dardha +1

Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of…