The produoidal algebra of process decomposition
author
Earnshaw, Matthew David
Hefford, James
Román, Mario
statement of authorship
Matt Earnshaw, James Hefford and Mario Román
source
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
location of publication
Merzig-Wadern
publisher
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik
year of publication
2024
pages
art. 25, 19 p. ill
series
Leibniz international proceedings in informatics ; 288
conference name, date
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, 19-23 February 2024
conference location
Naples, Italy
url
https://doi.org/10.4230/LIPIcs.CSL.2024.25
subject term
protsessid
algebra
monoidid
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85185217929&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22The+produoidal+algebra+of+process+decomposition%22%29&sessionSearchId=d07c77c718047b6144759fe6ff06e437&relpos=2
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001300390800025
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
duoidal categories
lenses
monoidal categories
profunctors
ISSN
1868-8969
ISBN
978-395977310-2
notes
Bibliogr.: 67 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise