sessiontype

Human fallibility, unpredictable operational environments, and the heterogeneity of hardware devices are driving in the need for …

This is the companion artifact for the paper “Multiparty Session Types for Safe Runtime Adaptation in an Actor Language”. …