Bas van den Heuvel

Learn how session types enhance communication protocols in software development.

This article discusses a new method for protecting confidential data in message-passing applications.

Understanding typed non-determinism and its impact on resource management in computing.

Discover how asynchronous communication enhances system interaction and efficiency.