full record print

String diagrammatic trace theory

author
Earnshaw, Matthew
Sobocinski, Pawel Maria
statement of authorship
Matthew Earnshaw, Paweł Sobociński
source
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
location of publication
Dagstuhl
publisher
year of publication
pages
art. 43, 43 p. : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 272
conference name, date
48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, 28 August - 1 September 2023
conference location
Bordeaux, France
url
ISSN
1868-8969
ISBN
978-395977292-1
notes
Bibliogr.: 32 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
asynchronous automata
Mazurkiewicz traces
symmetric monoidal categories
category (general)
category (sub)
Earnshaw, M., Sobociński, P. String diagrammatic trace theory // 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. art. 43, 43 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 272). https://doi.org/10.4230/LIPIcs.MFCS.2023.43