Bas van den Heuvel - PLNL 2023

Fri 16 Jun 2023 Amsterdam, Netherlands

Registered user since Mon 20 Sep 2021

Name:Bas van den Heuvel

Country:Netherlands

Affiliation:University of Groningen

Personal website: https://basvdheuvel.github.io/

GitHub: https://github.com/basvdheuvel

Contributions

2023

PLNL

A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

Show activities from other conferences

PLNL 2023-profile
View general profile