Regular Transformations of Infinite Strings.

Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi

Browse the full LICS paper archive.