Bhave, Devendra; Dave, Vrunda; Krishna, Shankara Narayanan; Phawade, Ramchandra; Trivedi, Ashutosh A logical characterization for dense-time visibly pushdown automata. (English) Zbl 1435.68144 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 89-101 (2016). MSC: 68Q45 03D05 68Q60 PDF BibTeX XML Cite \textit{D. Bhave} et al., Lect. Notes Comput. Sci. 9618, 89--101 (2016; Zbl 1435.68144) Full Text: DOI
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie On regions and zones for event-clock automata. (English) Zbl 1314.68176 Form. Methods Syst. Des. 45, No. 3, 330-380 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Geeraerts} et al., Form. Methods Syst. Des. 45, No. 3, 330--380 (2014; Zbl 1314.68176) Full Text: DOI
Raskin, Jean-François; Schobbens, Pierre-Yves The logic of event clocks. Decidability, complexity and expressiveness. (English) Zbl 0978.03015 J. Autom. Lang. Comb. 4, No. 3, 247-282 (1999). MSC: 03B44 68Q60 03B70 68Q85 03B25 03D15 03D05 PDF BibTeX XML Cite \textit{J.-F. Raskin} and \textit{P.-Y. Schobbens}, J. Autom. Lang. Comb. 4, No. 3, 247--282 (1999; Zbl 0978.03015)
Dima, Cătălin Kleene theorems for event-clock automata. (English) Zbl 0948.68106 Ciobanu, Gabriel (ed.) et al., Fundamentals of computation theory. 12th international symposium, FCT ’99. Iaşi, Romania, August 30 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1684, 215-225 (1999). MSC: 68Q45 PDF BibTeX XML Cite \textit{C. Dima}, Lect. Notes Comput. Sci. 1684, 215--225 (1999; Zbl 0948.68106)