Author:
Liu Wanwei,Song Fu,Zhou Ge
Publisher
Springer International Publishing
Reference18 articles.
1. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21, 181–185 (1985)
2. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
3. Lecture Notes in Computer Science;B Banieqbal,1989
4. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Method and Philosophy of Science 1960, pp. 1–12, Palo Alto. Stanford University Press (1962)
5. Church, A.: A note on the Entscheidungsproblem. J. Symb. Log. 1, 101–102 (1936)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献