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


Monitoring Blackbox Implementations of Multiparty Session Protocols

Typed Non-determinism in Functional and Concurrent Calculi

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