Bas van den Heuvel

23 papers A 1B 3Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comparing session type systems derived from linear logic.
J. Log. Algebraic Methods Program.
Bas van den Heuvel, Jorge A. Pérez
2025 J jnl
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction.
CoRR
Bas van den Heuvel, Martin Sulzmann, Peter Thiemann
2024 — conf
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing.
ICE
Bas van den Heuvel, Jorge A. Pérez
2024 J jnl
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks.
Log. Methods Comput. Sci.
Bas van den Heuvel, Jorge A. Pérez
2024 J jnl
Comparing Session Type Systems derived from Linear Logic.
CoRR
Bas van den Heuvel, Jorge A. Pérez
2024 J jnl
Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version).
CoRR
Bas van den Heuvel
2024 A conf
Information Flow Control in Cyclic Process Networks.
ECOOP
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024 J jnl
Information Flow Control in Cyclic Process Networks.
CoRR
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024 B conf
Typed Non-determinism in Concurrent Calculi: The Eager Way.
MFPS
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez
2023 B conf
Monitoring Blackbox Implementations of Multiparty Session Protocols.
RV
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
2023 J jnl
Monitoring Blackbox Implementations of Multiparty Session Protocols.
CoRR
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
2023 B conf
Typed Non-determinism in Functional and Concurrent Calculi.
APLAS
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 J jnl
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency.
CoRR
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.
Proc. ACM Program. Lang.
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
A decentralized analysis of multiparty protocols.
Sci. Comput. Program.
Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version).
CoRR
Bas van den Heuvel, Jorge A. Pérez
2022 — conf
Asynchronous Functional Sessions: Cyclic and Concurrent.
EXPRESS/SOS
Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
Functions as Processes: The Case of Collapsing Non-determinism.
CoRR
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 J jnl
A Decentralized Analysis of Multiparty Protocols.
CoRR
Bas van den Heuvel, Jorge A. Pérez
2021 J jnl
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version).
CoRR
Bas van den Heuvel, Jorge A. Pérez
2021 — conf
Deadlock Freedom for Asynchronous and Cyclic Process Networks.
ICE
Bas van den Heuvel, Jorge A. Pérez
2020 — conf
Session Type Systems based on Linear Logic: Classical versus Intuitionistic.
PLACES@ETAPS
Bas van den Heuvel, Jorge A. Pérez
2018 J jnl
The process of purely event-driven programs.
CoRR
Bas van den Heuvel