Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Maarand, Hendrik"'
Autor:
Maarand, Hendrik, Tamm, Hellis
Publikováno v:
In Theoretical Computer Science 27 June 2024 1001
Autor:
Maarand, Hendrik, Uustalu, Tarmo
We provide syntactic derivative-like operations, defined by recursion on regular expressions, in the styles of both Brzozowski and Antimirov, for trace closures of regular languages. Just as the Brzozowski and Antimirov derivative operations for regu
Externí odkaz:
http://arxiv.org/abs/1908.03551
Autor:
Maarand, Hendrik, Uustalu, Tarmo
Publikováno v:
EPTCS 246, 2017, pp. 39-48
Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. This problem can be alleviated by applying the theory of Mazurkiewicz traces to focus only on the canonical representatives of the equivalence cla
Externí odkaz:
http://arxiv.org/abs/1704.03098
Autor:
Maarand, Hendrik, Uustalu, Tarmo
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2021 121
Autor:
Maarand, Hendrik, Uustalu, Tarmo
We provide syntactic derivative-like operations, defined by recursion on regular expressions, in the styles of both Brzozowski and Antimirov, for trace closures of regular languages. Just as the Brzozowski and Antimirov derivative operations for regu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4e6b33fd4c3fbffd6c5f12c10dbc934
Autor:
Maarand, Hendrik, Uustalu, Tarmo
Publikováno v:
Innovations in Systems & Software Engineering; Sep2019, Vol. 15 Issue 3/4, p253-265, 13p