Author:
Hooman Jozef,Widom Jennifer
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. The Programming Language Ada, Reference Manual. LNCS 155, Springer-Verlag, 1983.
2. A. Bernstein and P.K. Harter, Jr. Proving real-time properties of programs with temporal logic. In Proc. of the 8th Symp. on Operating System Principles, pages 1–11, 1981.
3. H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proc. of the 16th Symp. on Theory of Computing, pages 51–63, 1984.
4. Zhou Chao Chen and C.A.R. Hoare. Partial correctness of Communicating Sequential Processes. In Proc. of the IEEE International Conf. on Distributed Computing Systems, pages 1–12, 1981.
5. C. Huizing, R. Gerth, and W.P. de Roever. Full abstraction of a real-time denotational semantics for an OCCAM-like language. In Proc. of the 14th POPL, pages 223–237, 1987.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献