2 papers
cs.FL2019
Reordering Derivatives of Trace Closures of Regular Languages (Full Version)
Hendrik Maarand, Tarmo Uustalu
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 language…
cs.PL2017
Generating Representative Executions [Extended Abstract]
Hendrik Maarand, Tarmo Uustalu
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…