Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. The benefits of relaxing punctuality. (English) Zbl 0882.68021 J. ACM 43, No. 1, 116-146 (1996). Cited in 2 ReviewsCited in 82 Documents MSC: 68N15 Theory of programming languages Keywords:real-time systems; temporal language PDF BibTeX XML Cite \textit{R. Alur} et al., J. ACM 43, No. 1, 116--146 (1996; Zbl 0882.68021) Full Text: DOI Link