Bas van den Heuvel

According to our database, Bas van den Heuvel authored at least 15 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Comparing session type systems derived from linear logic.

Bas van den Heuvel, Jorge A. Pérez

J. Log. Algebraic Methods Program., 2025

2024

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks.

Bas van den Heuvel, Jorge A. Pérez

Log. Methods Comput. Sci., 2024

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version).

Bas van den Heuvel

CoRR, 2024

Information Flow Control in Cyclic Process Networks.

Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Monitoring Blackbox Implementations of Multiparty Session Protocols.

Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Typed Non-determinism in Functional and Concurrent Calculi.

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

A decentralized analysis of multiparty protocols.

Bas van den Heuvel, Jorge A. Pérez

Sci. Comput. Program., 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, Jorge A. Pérez

Proc. ACM Program. Lang., 2022

Asynchronous Functional Sessions: Cyclic and Concurrent.

Bas van den Heuvel, Jorge A. Pérez

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version).

Bas van den Heuvel, Jorge A. Pérez

CoRR, 2022

Functions as Processes: The Case of Collapsing Non-determinism.

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

CoRR, 2022

2021

Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version).

Bas van den Heuvel, Jorge A. Pérez

CoRR, 2021

Deadlock Freedom for Asynchronous and Cyclic Process Networks.

Bas van den Heuvel, Jorge A. Pérez

Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

2020

Session Type Systems based on Linear Logic: Classical versus Intuitionistic.

Bas van den Heuvel, Jorge A. Pérez

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

2018

The process of purely event-driven programs.

Bas van den Heuvel

CoRR, 2018