String diagrammatic trace theory
author
Earnshaw, Matthew David
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
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
year of publication
2023
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
https://doi.org/10.4230/LIPIcs.MFCS.2023.43
subject term
stringiteooria
monoidid
automaaditeooria
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
asynchronous automata
Mazurkiewicz traces
symmetric monoidal categories
ISSN
1868-8969
ISBN
978-395977292-1
notes
Bibliogr.: 32 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise