A unifying categorical view of nondeterministic iteration and tests
autor
Goncharov, Sergey
vastutusandmed
Sergey Goncharov, Tarmo Uustalu
allikas
35th International Conference on Concurrency Theory (CONCUR 2024)
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 25
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 311
konverentsi nimetus, aeg
35th International Conference on Concurrency Theory, CONCUR 2024, 9-13 September 2024
konverentsi toimumispaik
Calgary
ISSN
1868-8969
ISBN
978-395977339-3
märkused
Bibliogr.: 39 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
coalgebraic resumptions
elgot iteration
Kleene algebra
Kleene iteration
klassifikaator
kategooria (üld)
kategooria (alam)
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).