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 sym...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Stenman, Jari
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Analytical models Automata Clocks Computational modeling Cost accounting Formal verification Petri nets Theory of computation Theory of computation > Formal languages and automata theory
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!