8 citations · 17 across the 7 of their papers we have counts for
1 paper · 2 filters
Chad Nester, Niels Voorneveld
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated commu…