Safety and liveness of ω-context-free languages☆
References (7)
- et al.
Adherences of languages
J. Comput. System Sci.
(1980) - et al.
Theory of ω-languages
J. Comput. System Sci.
(1977) - et al.
Recognizing safety and liveness
Distributed Comput.
(1987)
There are more references available in the full text version of this article.
Cited by (0)
- ☆
Supported by NSF grant no. CCR-8714782.
Copyright © 1991 Published by Elsevier B.V.