Timed substitutions for regular signal-event languages
暂无分享,去创建一个
[1] Catalin Dima,et al. Real-Time Automata and the Kleene Algebra of Sets of Real Numbers , 2000, STACS.
[2] Claudine Picaronny,et al. Accepting Zeno words: a way toward timed refinements , 2000, Acta Informatica.
[3] Paul Caspi,et al. Timed regular expressions , 2002, JACM.
[4] Paul Gastin,et al. Characterization of the Expressive Power of Silent Transitions in Timed Automata , 1998, Fundam. Informaticae.
[5] Michael R. Hansen,et al. Finite Divergence , 1995, Theor. Comput. Sci..
[6] Paul Gastin,et al. Intersection of Regular Signal-Event (Timed) Languages , 2006, FORMATS.
[7] P. J. L. Cuijpers,et al. Beyond Zeno-behaviour , 2001 .
[8] Patricia Bouyer,et al. Forward Analysis of Updatable Timed Automata , 2004, Formal Methods Syst. Des..
[9] Paul Gastin,et al. Refinements and Abstractions of Signal-Event (Timed) Languages , 2006, FORMATS.
[10] Jérôme Olivier Durand-Lose. A Kleene theorem for splitable signals , 2004, Inf. Process. Lett..
[11] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[12] Paul Caspi,et al. A Kleene theorem for timed automata , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.