The produoidal algebra of process decomposition
author
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
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
ISSN
1868-8969
ISBN
978-395977310-2
notes
Bibliogr.: 67 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
category (general)
category (sub)
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).