String Diagrammatic Trace Theory (bibtex)

by Matthew Earnshaw and Paweł Sobociński

Reference:

Matthew Earnshaw and Paweł Sobociński, String Diagrammatic Trace Theory, In 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France (Jérôme Leroux, Sylvain Lombardy, David Peleg, eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 272, pp. 43:1–43:15, 2023.

Bibtex Entry:

@inproceedings{DBLP:conf/mfcs/Earnshaw023,
  author       = {Matthew Earnshaw and
                  Pawe{\l} Soboci{\'{n}}ski},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {String Diagrammatic Trace Theory},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {43:1--43:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.43},
  doi          = {10.4230/LIPICS.MFCS.2023.43},
  timestamp    = {Mon, 05 Feb 2024 20:31:56 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Earnshaw023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}