Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference28 articles.
1. Realizable and unrealizable specifications of reactive systems;Abadi,1989
2. From live sequence charts to state machines and back: A guided tour;Bontemps;IEEE Trans. Softw. Eng.,2005
3. Solving sequential conditions by finite-state strategies;Büchi;Trans. Amer. Math. Soc.,1969
4. A. Church, Logic, arithmetic and automata, in: Proc. 1962 Int. Congr. Math., Uppsala, 1963, pp. 23–25.
5. LSCs: Breathing life into message sequence charts;Damm;J. Formal Methods Syst. Des.,2001
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献