A unifying categorical view of nondeterministic iteration and tests
Goncharov, Sergey
;
Uustalu, Tarmo
35th International Conference on Concurrency Theory (CONCUR 2024)
2024
/
art. 25
https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
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