Skip to ContentSkip to Navigation
Practical matters How to find us B. (Bas) van den Heuvel, MSc


A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

A decentralized analysis of multiparty protocols

Asynchronous Functional Sessions: Cyclic and Concurrent

Deadlock Freedom for Asynchronous and Cyclic Process Networks

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Read more