Gallery
News
People
Publications
Work with us
Contact
Light
Dark
Automatic
Malte Viering
Latest
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
Comprehensive Multiparty Session Types
Comprehensive Multiparty Session Types
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
The Grand CRU Challenge
Cite
×