A unifying categorical view of nondeterministic iteration and tests
author
Goncharov, Sergey
statement of authorship
Sergey Goncharov, Tarmo Uustalu
source
35th International Conference on Concurrency Theory (CONCUR 2024)
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
art. 25
series
Leibniz international proceedings in informatics (LIPIcs) ; 311
conference name, date
35th International Conference on Concurrency Theory, CONCUR 2024, 9-13 September 2024
conference location
Calgary
ISSN
1868-8969
ISBN
978-395977339-3
notes
Bibliogr.: 39 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
coalgebraic resumptions
elgot iteration
Kleene algebra
Kleene iteration
classifier
category (general)
category (sub)
Goncharov, S., Uustalu, T. A unifying categorical view of nondeterministic iteration and tests // 35th International Conference on Concurrency Theory (CONCUR 2024). Saarbrücken/Wadern : Dagstuhl Publishing, 2024. art. 25. (Leibniz international proceedings in informatics (LIPIcs) ; 311).