Author:
Banieqbal Behnam,Barringer Howard
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. H. Barringer, R. Kuiper, and A. Pnueli. Now You May Compose Temporal Logic Specifications. In Proceedings of the Sixteenth ACM Symposium on the Theory of Computing, 1984.
2. H. Barringer, R. Kuiper, and A. Pnueli. A compositional temporal approach to a csp-like language. In E. J. Neuhold and G. Chroust, editors, Formal Models of Programming, pages 207–227. IFIP, North-Holland, 1985.
3. H. Barringer, R. Kuiper, and A. Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. In Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, St. Petersberg Beach, Florida, January 1986.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications: A Practical Approach. In Proceedings of the Tenth ACM Symposium on the Principles of Programming Languages, 1983.
5. L. Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190–222, July 1983.
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献