Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus