Paul Harvey
Paul Harvey
Home
Publications
Projects
Talks
People
Contact
Light
Dark
Automatic
artifact
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 …
Cite
×