String Diagrammatic Trace Theory

Matthew Earnshaw, Pawel Sobocinski 0001. String Diagrammatic Trace Theory. In Jérôme Leroux, Sylvain Lombardy, David Peleg, editors, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France. Volume 272 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Matthew Earnshaw

This author has not been identified. Look up 'Matthew Earnshaw' in Google

Pawel Sobocinski 0001

This author has not been identified. Look up 'Pawel Sobocinski 0001' in Google