A Kleene Theorem for Infinite Trace Languages.

Paul Gastin, Antoine Petit, Wieslaw Zielonka

Browse the full ICALP paper archive.