Author:
Allen Emerson E.,Lei Chin-Laung
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abrahamson, K., Decidability and Expressiveness of Logics of Processes, PhD Thesis, University of Washington, 1980.
2. Apt, K. R., Olderog, E. R. Proof Rules and Translations Dealing with Fairness, Science of Computer Programming 3 (1983), pp. 65–100.
3. Ben-Ari, M., Manna, Z., and Pnueli, A., The Temporal Logic of Branching Time, 8th Annual ACM Symp. on Principles of Programming Languages, 1981.
4. Clarke, E. M., Emerson, E. A., and Sistla, A. P., Automatic Verification of Finite State Concurrent System Using Temporal Logic, 10th Annual ACM 10th Annual ACM Symp. on Principles of Programming Languages, 1983.
5. DeBakker, J. W., Mathematical Theory of Program Correctness (Prentice-Hall, Englewood Cliffs, NJ, 1980).
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献