Author:
Barrett Chris,Hunt III Harry B.,Marathe Madhav V.,Ravi S.S.,Rosenkrantz Daniel J.,Stearns Richard E.
Subject
General Computer Science,Theoretical Computer Science
Reference37 articles.
1. R. Alur, S. Kannan, M. Yannakakis, Communicating hierarchical state machines, Proc. 26th Internat. Colloq. on Automata, Languages, and Programming (ICALP), Springer, Berlin, 1999, pp. 169–178.
2. E. Asarin, O. Maler, On some relations between dynamical systems and transition systems, Proc. 21st Internat. Colloq. on Automata, Languages and Programming (ICALP), Jerusalem, Israel, Lecture Notes in Computer Science, Vol. 820, Springer, Berlin, July 1994, pp. 59–72.
3. C. Barrett, H. Hunt III, M. Marathe, S. Ravi, D. Rosenkrantz, R. Stearns, Analysis problems for sequential dynamical systems and communicating state machines, in: Proc. Internat. Symp. on Mathematical Foundations of Computer Science (MFCS’01), Marianske Lazne, Czech Republic, August 2001, Lecture Notes in Computer Science, Vol. 2136, Springer, Berlin, pp. 159–172.
4. C. Barrett, H. Hunt III, M. Marathe, S. Ravi, D. Rosenkrantz, R. Stearns, Further analysis of sequential dynamical systems with restricted local transition functions, February 2002, in preparation.
5. Elements of a theory of computer simulation III;Barrett;Appl. Math. Comput.,2001
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献