| 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 | 15 | 2020 |
| A decentralized analysis of multiparty protocols B van den Heuvel, JA Pérez Science of Computer Programming 222, 102840, 2022 | 9 | 2022 |
| 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 | 6 | 2022 |
| Deadlock freedom for asynchronous and cyclic process networks (extended version) B van den Heuvel, JA Pérez arXiv preprint arXiv:2111.13091, 2021 | 6 | 2021 |
| Deadlock freedom for asynchronous and cyclic process networks B van den Heuvel, JA Pérez Proceedings 14th Interaction and Concurrency Experience, ICE, 2021 | 5 | 2021 |
| Monitoring Blackbox Implementations of Multiparty Session Protocols B van den Heuvel, JA Pérez, RA Dobre International Conference on Runtime Verification, 66-85, 2023 | 2 | 2023 |
| Asynchronous Functional Sessions: Cyclic and Concurrent B van den Heuvel, JA Pérez Electronic Proceedings in Theoretical Computer Science 368, 75-94, 2022 | 2 | 2022 |
| Purely event-driven programming: A programming language design B van den Heuvel Bachelor Thesis. University of Amsterdam, June, 2016 | 2 | 2016 |
| 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 | 1 | 2023 |
| Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version) B van den Heuvel arXiv e-prints, arXiv: 2402.09595, 2024 | | 2024 |
| Correctly communicating software: Distributed, asynchronous, and beyond B van den Heuvel | | 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 | | |
Jorge A. PérezAssociate Professor, University of GroningenEmail verificata su rug.nl
