A unifying categorical view of nondeterministic iteration and tests
autor
Goncharov, Sergey
Uustalu, Tarmo
vastutusandmed
Sergey Goncharov, Tarmo Uustalu
allikas
35th International Conference on Concurrency Theory (CONCUR 2024)
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2024
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
leitav
https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
märksõna
programmeerimiskeeled
algebra
aksioomid
iteratsioonimeetodid
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85203523006&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CONCUR.2024.25%29&sessionSearchId=e19eefaaae2c94da6efd1164d7a1280e&relpos=0
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
coalgebraic resumptions
elgot iteration
Kleene algebra
Kleene iteration
ISSN
1868-8969
ISBN
978-395977339-3
märkused
Bibliogr.: 39 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise