1 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthew Earnshaw, Paweł Sobociński
We extend the theory of formal languages in monoidal categories to the multi-sorted, symmetric case, and show how this theory permits a graphical treatment of topics in concurrency…