223 search results - page 13 / 45 » Synchronization of Pushdown Automata |
COCO
2006
Springer
13 years 11 months ago
2006
Springer
11
Voted
CORR
2008
Springer
13 years 7 months ago
2008
Springer
APAL
2006
13 years 7 months ago
2006
LATA
2010
Springer
14 years 4 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
MICS
2008
13 years 7 months ago
2008
We give a new presentation of two results concerning synchronized automata. The first one gives a linear bound on the synchronization delay of complete local automata. The second o...