Efficient ω-regular language containment
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 396-409
- https://doi.org/10.1007/3-540-56496-9_31
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Software for Analytical Development of Communications ProtocolsAT&T Technical Journal, 1990
- A unified approach for showing language containment and equivalence between various types of ω-automataPublished by Springer Nature ,1990
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Process calculi, from theory to practice: Verification toolsPublished by Springer Nature ,1990
- Modalities for model checking: branching time logic strikes backScience of Computer Programming, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974