activity
20222024
most citedA Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2023

Monitoring Blackbox Implementations of Multiparty Session Protocols

Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre

We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types…