The regular real-time languages
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 580-591
- https://doi.org/10.1007/bfb0055086
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A Kleene theorem for timed automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- State clock logic: A decidable real-time logicPublished by Springer Nature ,1997
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- A really temporal logicJournal of the ACM, 1994
- A determinizable class of timed automataLecture Notes in Computer Science, 1994
- Specifying timed state sequences in powerful decidable logics and timed automataLecture Notes in Computer Science, 1994
- Real-Time Logics: Complexity and ExpressivenessInformation and Computation, 1993
- Back to the future: towards a theory of timed regular languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980