1 paper
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…