1 citations · 2 across the 2 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…