String Diagrammatic Trace Theory.

Matthew Earnshaw, Pawel Sobocinski

Browse the full MFCS paper archive.