Bhave, Devendra; Dave, Vrunda; Krishna, S. N.; Phawade, Ramchandra; Trivedi, Ashutosh A perfect class of context-sensitive timed languages. (English) Zbl 1436.68161 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 38-50 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Bhave} et al., Lect. Notes Comput. Sci. 9840, 38--50 (2016; Zbl 1436.68161) Full Text: DOI
Akshay, S.; Bollig, Benedikt; Gastin, Paul Event clock message passing automata: a logical characterization and an emptiness checking algorithm. (English) Zbl 1291.68239 Form. Methods Syst. Des. 42, No. 3, 262-300 (2013). MSC: 68Q60 68Q45 03B70 03B15 PDF BibTeX XML Cite \textit{S. Akshay} et al., Form. Methods Syst. Des. 42, No. 3, 262--300 (2013; Zbl 1291.68239) Full Text: DOI
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie Event clock automata: from theory to practice. (English) Zbl 1348.68102 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 209-224 (2011). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Geeraerts} et al., Lect. Notes Comput. Sci. 6919, 209--224 (2011; Zbl 1348.68102) Full Text: DOI
Pandya, Paritosh K. Interval duration logic: expressiveness and decidability. (English) Zbl 1270.68175 Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 254-272 (2002). MSC: 68Q60 03B70 68Q45 PDF BibTeX XML Cite \textit{P. K. Pandya}, Electron. Notes Theor. Comput. Sci. 65, No. 6, 254--272 (2002; Zbl 1270.68175) Full Text: DOI