A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming

Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek
January 2021
Cite DOI URL
Type
2
Publication
Proceedings of the ACM on Programming Languages