Bas van den Heuvel

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Distributed Constraint Satisfaction

Sequent Calculi

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
Information Flow Control in Cyclic Process Networks. CoRR (2024)
Bas van den Heuvel
Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version). CoRR (2024)
Bas van den Heuvel, Jorge A. Pérez
Comparing Session Type Systems derived from Linear Logic. CoRR (2024)
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols. RV (2023)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Typed Non-determinism in Functional and Concurrent Calculi. APLAS (2023)
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols. CoRR (2023)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency. CoRR (2022)
Bas van den Heuvel, Jorge A. Pérez
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version). CoRR (2022)
Bas van den Heuvel, Jorge A. Pérez
A decentralized analysis of multiparty protocols. Sci. Comput. Program. 222 (2022)
Bas van den Heuvel, Jorge A. Pérez
Asynchronous Functional Sessions: Cyclic and Concurrent. EXPRESS/SOS (2022)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Functions as Processes: The Case of Collapsing Non-determinism. CoRR (2022)
Bas van den Heuvel, Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks. ICE (2021)
Bas van den Heuvel, Jorge A. Pérez
A Decentralized Analysis of Multiparty Protocols. CoRR (2021)
Bas van den Heuvel, Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). CoRR (2021)
Bas van den Heuvel, Jorge A. Pérez
Session Type Systems based on Linear Logic: Classical versus Intuitionistic. PLACES@ETAPS (2020)
Bas van den Heuvel
The process of purely event-driven programs. CoRR (2018)