Segui
Bas van den Heuvel
Bas van den Heuvel
Postdoctoral Researcher, Karlsruhe University of Applied Science and University of Freiburg
Email verificata su informatik.uni-freiburg.de - Home page
Titolo
Citata da
Citata da
Anno
Session type systems based on linear logic: Classical versus intuitionistic
B van den Heuvel, JA Pérez
Electronic Notes in Theoretical Computer Science 314, 1-11, 2020
192020
A decentralized analysis of multiparty protocols
B van den Heuvel, JA Pérez
Science of Computer Programming 222, 102840, 2022
172022
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
122022
Deadlock freedom for asynchronous and cyclic process networks
B van den Heuvel, JA Pérez
Proceedings 14th Interaction and Concurrency Experience, ICE, 2021
112021
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
102023
Monitoring Blackbox Implementations of Multiparty Session Protocols
B van den Heuvel, JA Pérez, RA Dobre
International Conference on Runtime Verification, 66-85, 2023
102023
Deadlock freedom for asynchronous and cyclic process networks (extended version)
B van den Heuvel, JA Pérez
arXiv preprint arXiv:2111.13091, 2021
62021
Correctly communicating software: Distributed, asynchronous, and beyond
B van den Heuvel
42024
Asynchronous Functional Sessions: Cyclic and Concurrent
B van den Heuvel, JA Pérez
Electronic Proceedings in Theoretical Computer Science 368, 75-94, 2022
32022
Typed non-determinism in concurrent calculi: The eager way
B van den Heuvel, D Nantes-Sobrinho, JWN Paulus, JA Pérez
Electronic Notes in Theoretical Informatics and Computer Science 4, 2024
22024
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
B van den Heuvel, JA Pérez
Logical Methods in Computer Science 20, 2024
22024
Information Flow Control in Cyclic Process Networks
B van den Heuvel, F Derakhshan, S Balzer
38th European Conference on Object-Oriented Programming, ECOOP 2024, 35, 2024
22024
Purely event-driven programming: A programming language design
B van den Heuvel
Bachelor Thesis. University of Amsterdam, June, 2016
22016
Comparing session type systems derived from linear logic
B van den Heuvel, JA Pérez
Journal of Logical and Algebraic Methods in Programming 142, 101004, 2025
12025
Journal of Logical and Algebraic Methods in Programming
B van den Heuvel, JA Pérez
Journal of Logical and Algebraic Methods in Programming 142, 101004, 2025
2025
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
B van den Heuvel, JA Pérez
EPTCS 414, 1, 2024
2024
Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
B van den Heuvel
arXiv e-prints, arXiv: 2402.09595, 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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20