Safety and liveness of \(\omega\)-context-free languages

DOI10.1016/0020-0190(91)90244-CzbMath0734.68056MaRDI QIDQ811129

Soma Chaudhuri, Richard E. Ladner

Publication date: 1991

Published in: Information Processing Letters (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed algorithms (68W15)

Cites Work

• Recognizing safety and liveness
• Adherences of languages
• Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
• Theory of \(\omega\)-languages. II: A study of various models of \(\omega\)- type generation and recognition
• Proving the Correctness of Multiprocess Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Safety and liveness of \(\omega\)-context-free languages