Follow
Bas van den Heuvel
Bas van den Heuvel
Postdoctoral Researcher, Karlsruhe University of Applied Science and University of Freiburg
Verified email at informatik.uni-freiburg.de - Homepage
Title
Cited by
Cited by
Year
Session Type Systems based on Linear Logic: Classical versus Intuitionistic.
B van den Heuvel, JA Pérez
PLACES@ ETAPS 314, 1-11, 2020
152020
A decentralized analysis of multiparty protocols
B van den Heuvel, JA Pérez
Science of Computer Programming 222, 102840, 2022
82022
Deadlock freedom for asynchronous and cyclic process networks (extended version)
B van den Heuvel, JA Pérez
arXiv preprint arXiv:2111.13091, 2021
62021
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
D Frumin, E D’Osualdo, B van den Heuvel, JA Pérez
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 841-869, 2022
52022
Deadlock freedom for asynchronous and cyclic process networks
B van den Heuvel, JA Pérez
Proceedings 14th Interaction and Concurrency Experience, ICE, 2021
52021
Purely event-driven programming: A programming language design
B van den Heuvel
Bachelor Thesis. University of Amsterdam, June, 2016
22016
Typed Non-determinism in Functional and Concurrent Calculi
B van den Heuvel, JWN Paulus, D Nantes-Sobrinho, JA Pérez
Asian Symposium on Programming Languages and Systems, 112-132, 2023
12023
Monitoring Blackbox Implementations of Multiparty Session Protocols
B van den Heuvel, JA Pérez, RA Dobre
International Conference on Runtime Verification, 66-85, 2023
12023
Asynchronous Functional Sessions: Cyclic and Concurrent
B van den Heuvel, JA Pérez
Electronic Proceedings in Theoretical Computer Science 368, 75-94, 2022
12022
Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
B van den Heuvel
arXiv e-prints, arXiv: 2402.09595, 2024
2024
Comparing Session Type Systems derived from Linear Logic
B van den Heuvel, JA Pérez
arXiv e-prints, arXiv: 2401.14763, 2024
2024
Functions as Processes: The Case of Collapsing Non-determinism
B van den Heuvel, JWN Paulus, D Nantes-Sobrinho, JA Pérez
arXiv e-prints, arXiv: 2205.00680, 2022
2022
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
B van den Heuvel, JA Pérez
arXiv e-prints, arXiv: 2111.13091, 2021
2021
The Logic of Fault-Tolerance in Message-Passing Concurrency
B van den Heuvel
Master Thesis. ILLC, University of Amsterdam, 2019
2019
The process of purely event-driven programs
B van den Heuvel
arXiv preprint arXiv:1803.11229, 2018
2018
Towards Practical Protocol Verification via Minimal Orchestration in ACP
B van den Heuvel, JA Pérez
Comparing Session Type Interpretations of Linear Logic
B van den Heuvel, JA Pérez
EUTYPES-TYPES 2020-Abstracts, 0
Purely event-driven programming
B van den Heuvel
The system can't perform the operation now. Try again later.
Articles 1–18