8 citations · 17 across the 7 of their papers we have counts for
1 paper · 1 filter
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…