Reordering Derivatives of Trace Closures of Regular Languages.

Hendrik Maarand, Tarmo Uustalu

Browse the full CONCUR paper archive.