Paul Harvey
Paul Harvey
Home
Publications
Talks
Opportunities
Postdoc Researchers
PhD Students
Masters Students
Project Students
People
Current
Alumn
Projects
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”. …
Paul Harvey
,
Simon Fowler
,
Ornela Dardha
,
Simon J. Gay
Cite
DOI
Cite
×