The produoidal algebra of process decomposition
autor
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
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
ISSN
1868-8969
ISBN
978-395977310-2
märkused
Bibliogr.: 67 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
kategooria (üld)
kategooria (alam)
Earnshaw, M., Hefford, J., Román, M. The produoidal algebra of process decomposition // 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Merzig-Wadern : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2024. art. 25, 19 p. ill. (Leibniz international proceedings in informatics ; 288).