Gallery
News
People
Publications
Work with us
Contact
Github
Light
Dark
Automatic
Malte Viering
Latest
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
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
×