The produoidal algebra of process decomposition
autor
Earnshaw, Matthew David
Hefford, James
Román, Mario
vastutusandmed
Matt Earnshaw, James Hefford and Mario Román
allikas
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
ilmumiskoht
Merzig-Wadern
kirjastus/väljaandja
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik
ilmumisaasta
2024
leheküljed
art. 25, 19 p. ill
seeria-sari
Leibniz international proceedings in informatics ; 288
konverentsi nimetus, aeg
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, 19-23 February 2024
konverentsi toimumispaik
Naples, Italy
leitav
https://doi.org/10.4230/LIPIcs.CSL.2024.25
märksõna
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
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
duoidal categories
lenses
monoidal categories
profunctors
ISSN
1868-8969
ISBN
978-395977310-2
märkused
Bibliogr.: 67 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise