An Extension of Kleene s and Ochmanski s Theorems to Infinite Traces

Paul Gastin, Antoine Petit, Wieslaw Zielonka. An Extension of Kleene s and Ochmanski s Theorems to Infinite Traces. Theoretical Computer Science, 125(2):167-204, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.