Decomposing Permutation Automata.

Ismal Jecker, Nicolas Mazzocchi, Petra Wolf

Browse the full CONCUR paper archive.