activity
20172025
most citedReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

21 citations · 32 across the 9 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LO2022★ 1 cited

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

Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel +1

The emergence of propositions-as-sessions, a Curry-Howard correspondence between propositions of Linear Logic and session types for concurrent processes, has settled the logical fo…