Search

Malte Viering

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

Published with Wowchemy — the free, open source website builder that empowers creators.