Dense-Timed Pushdown Automata


We propose a model that captures the behavior of real-time recursive systems. To that end, we introduce dense-timed pushdown automata that extend the classical models of pushdown automata and timed automata, in the sense that the automaton operates on a finite set of real-valued clocks, and each symbol in the stack is equipped with a real-valued clock… (More)
DOI: 10.1109/LICS.2012.15


3 Figures and Tables


Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Abdulla2012DenseTimedPA, title={Dense-Timed Pushdown Automata}, author={Parosh Aziz Abdulla and Mohamed Faouzi Atig and Jari Stenman}, journal={2012 27th Annual IEEE Symposium on Logic in Computer Science}, year={2012}, pages={35-44} }