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

Publications

Deadlock Freedom for Asynchronous and Cyclic Process Networks

Session Type Systems based on Linear Logic: Classical versus Intuitionistic