Author:
Alur R.,Grosu R.,McDougall M.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Alur, R., Grosu, R.: Modular refinement of hierarchic reactive machines. In: Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, pp. 390–402 (2000)
2. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15(1), 7–48 (1999)
3. LNAI;R. Alur,1998
4. Aggarwal, S., Kurshan, R.P., Sharma, D.: A language for the specification and analysis of protocols. In: IFIP Protocol Specification, Testing, and Verification III, pp. 35–50 (1983)
5. Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Automata, Languages and Programming, 26th International Colloquium, pp. 169–178 (1999)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献