A Kleene Theorem for Infinite Trace Languages

Paul Gastin, Antoine Petit, Wieslaw Zielonka. A Kleene Theorem for Infinite Trace Languages. In Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 254-266, Springer, 1991.

Authors

Paul Gastin

This author has not been identified. Look up 'Paul Gastin' in Google

Antoine Petit

This author has not been identified. Look up 'Antoine Petit' in Google

Wieslaw Zielonka

This author has not been identified. Look up 'Wieslaw Zielonka' in Google