A unifying categorical view of nondeterministic iteration and tests
author
Goncharov, Sergey
Uustalu, Tarmo
statement of authorship
Sergey Goncharov, Tarmo Uustalu
source
35th International Conference on Concurrency Theory (CONCUR 2024)
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2024
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
url
https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
subject term
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
coalgebraic resumptions
elgot iteration
Kleene algebra
Kleene iteration
ISSN
1868-8969
ISBN
978-395977339-3
notes
Bibliogr.: 39 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise