B. (Bas) van den Heuvel, MSc

PhD-student

Faculty of Science and Engineering

Telephone:

+31 50 36 33939

E-mail:

b.van.den.heuvel rug.nl

Homepage ORCID Research Portal

Publications

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

Frumin, D. , D'Osualdo, E. , van den Heuvel, B. & Pérez, J. A. , Oct-2022 , In: Proceedings of the ACM on Programming Languages. 6 , OOPSLA2 , p. 841-869 29 p. , 155.

Research output: Contribution to journal › Article › Academic › peer-review

A decentralized analysis of multiparty protocols

van den Heuvel, B. & Pérez, J. A. , 1-Oct-2022 , In: Science of computer programming. 222 , 102840.

Research output: Contribution to journal › Article › Academic › peer-review

Asynchronous Functional Sessions: Cyclic and Concurrent

van den Heuvel, B. & Pérez, J. A. , 6-Sept-2022 , (Submitted) In: Electronic Proceedings in Theoretical Computer Science. 368 , p. 75-94 20 p.

Research output: Contribution to journal › Article › Academic › peer-review

Deadlock Freedom for Asynchronous and Cyclic Process Networks

van den Heuvel, B. & Pérez, J. A. , 2-Oct-2021 , Proceedings 14th Interaction and Concurrency Experience (ICE 2021). Lange, J., Mavridou, A., Safina, L. & Scalas, A. (eds.). Open Publishing Association , p. 38-56 19 p. (Electronic Proceedings in Theoretical Computer Science; vol. 347).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Heuvel, B. V. D. & Pérez, J. A. , 3-Apr-2020 , In: Electronic Notes in Theoretical Computer Science. 314 , p. 1-11 11 p.

Research output: Contribution to journal › Article › Academic › peer-review

All (5) publications

View full research profile