Bas van den Heuvel

23 papers A 1B 3Journal 15Unranked 4

Year	Rank	Type	Title / 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