Analysis of timed Recursive State Machines

Proceedings - 17th International Symposium on Temporal Representation and Reasoning, TIME 2010

Volumn , Issue , 2010, Pages 61-68

  Benerecetti, Massimo ^a   Minopoli, Stefano ^a   Peron, Adriano ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Context free languages; Real time systems; Recursive State Machines; Timed Automata

Indexed keywords

BISIMULATIONS; CONTEXT-FREE; REACHABILITY PROBLEM; RECURSIVE STATE MACHINES; TEMPORAL DIMENSIONS; TEMPORAL EXTENSIONS; TIMED AUTOMATA; TIMED LANGUAGES;

AUTOMATA THEORY; CONTEXT FREE LANGUAGES; CONTOUR FOLLOWERS; INTERACTIVE COMPUTER SYSTEMS;

REAL TIME SYSTEMS;

EID: 78649411013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2010.10     Document Type: Conference Paper

References (8)

1. Alur R., Benedikt, M., Etessami, K., Godefroid, P. Reps, T. and Yannakakis, M.: Analysis of Recursive State Machines. In: 13th International Conference on Computer-aided Verification (CAV'01), pp. 207-220.
2. Alur R., and Dill D. L.: A Theory of Timed Automata. In: Theoretical Computer Science, Volume 126, pages 183-235, 1994.
3. Bouyer P., Dufourd C., Fleury E. and Petit A.: Updatable timed automata, Theoretical Computer Science, vol. 321, number 2- 3, pages 291-345, 2004.
4. Dang Z.: Pushdown timed automata: a binary reachability characterization and safety verification. In: Theoretical Computer Science, Volume 302, Issue 1-3, pages 93-121, 2003.
5. Minsky M. L.: Computation: finite and infinite machines, Prentice-Hall Inc., Upper Saddle River, NJ, USA., 1967.
6. Alur R., Parthasathy M.: Decision Problems for Timed Automata: A Survey. In: Proceedings of the 4th International School on Formal Methods for the Design of Computer, Communication and Software System: Real Time (SFM-RT 2004), pp. 1-24.
7. Bouajjani A., Echahed R., Robbana R.: On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. In: Proc. Hybrid System II, LNCS 999, 1995.
8. Cassez F. and Larsen K.: The Impressive Power of Stopwatches. In Proc. of CONCUR 2000: Concurrency Theory, pp. 138-152, LNCS 1877, 2000.