String diagrammatic trace theory

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

Authors Matthew Earnshaw, Paweł Sobociński

Publication date 3 December 2024

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2023.43

zbMATH Keywords

symmetric monoidal categoriesasynchronous automataMazurkiewicz traces

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(3)

• String diagrams for premonoidal categories
• Context-free languages of string diagrams
• Compositional separation of control flow and data flow

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)