R-Automata.

Parosh Aziz Abdulla, Pavel Krcl, Wang Yi

Browse the full CONCUR paper archive.