String diagrammatic trace theory

autor
Earnshaw, Matthew
vastutusandmed
Matthew Earnshaw, Paweł Sobociński
allikas
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
ilmumiskoht
Dagstuhl
ilmumisaasta
leheküljed
art. 43, 43 p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 272
konverentsi nimetus, aeg
48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, 28 August - 1 September 2023
konverentsi toimumispaik
Bordeaux, France
kvartiil
Q2
kategooria (üld)
kategooria (alam)
võtmesõna
asynchronous automata
symmetric monoidal categories
ISSN
1868-8969
ISBN
978-395977292-1
märkused
Bibliogr.: 32 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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