String diagrammatic trace theory

DOI10.4230/LIPICS.MFCS.2023.43MaRDI QIDQ6647672zbMATH OpenFDO

Authors Matthew Earnshaw, Paweł Sobociński

Publication date 3 December 2024

zbMATH Keywords

symmetric monoidal categoriesasynchronous automataMazurkiewicz traces

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: String diagrammatic trace theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6647672)