The process of purely event-driven programs. - Bas van den Heuvel 001 (CoRR, 2018)

Session Type Systems based on Linear Logic: Classical versus Intuitionistic. - Bas van den Heuvel 001; Jorge A. Pérez 001 (PLACES@ETAPS, 2020)

Deadlock Freedom for Asynchronous and Cyclic Process Networks. - Bas van den Heuvel 001; Jorge A. Pérez 001 (ICE, 2021)

Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). - Bas van den Heuvel 001; Jorge A. Pérez 001 (CoRR, 2021)

Functions as Processes: The Case of Collapsing Non-determinism. - Bas van den Heuvel 001; Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (CoRR, 2022)

Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version). - Bas van den Heuvel 001; Jorge A. Pérez 001 (CoRR, 2022)

Asynchronous Functional Sessions: Cyclic and Concurrent. - Bas van den Heuvel 001; Jorge A. Pérez 001 (EXPRESS/SOS, 2022)

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. - Dan Frumin; Emanuele D'Osualdo; Bas van den Heuvel 001; Jorge A. Pérez 001 (Proc. ACM Program. Lang., 2022)

A decentralized analysis of multiparty protocols. - Bas van den Heuvel 001; Jorge A. Pérez 001 (Sci. Comput. Program., 2022)

Typed Non-determinism in Functional and Concurrent Calculi. - Bas van den Heuvel 001; Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (APLAS, 2023)

Monitoring Blackbox Implementations of Multiparty Session Protocols. - Bas van den Heuvel 001; Jorge A. Pérez 001; Rares A. Dobre (RV, 2023)

Information Flow Control in Cyclic Process Networks. - Bas van den Heuvel 001; Farzaneh Derakhshan; Stephanie Balzer (ECOOP, 2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version). - Bas van den Heuvel 001 (CoRR, 2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way. - Bas van den Heuvel 001; Daniele Nantes-Sobrinho; Joseph W. N. Paulus; Jorge A. Pérez 001 (CoRR, 2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing. - Bas van den Heuvel 001; Jorge A. Pérez 001 (ICE, 2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks. - Bas van den Heuvel 001; Jorge A. Pérez 001 (Log. Methods Comput. Sci., 2024)

Comparing session type systems derived from linear logic. - Bas van den Heuvel 001; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2025)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction. - Bas van den Heuvel 001; Martin Sulzmann; Peter Thiemann 001 (CoRR, 2025)