Author:
Abadi Martín,Lamport Leslie
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Krzysztof R. Apt, Nissim Francez, and Shmuel Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2:226–241, 1988.
2. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Research Report 29, Digital Systems Research Center, 1988. To appear in Theoretical Computer Science. A preliminary version appeared in Proceedings of the Third Annual Symposium on Logic In Computer Science, pages 165–177, Edinburgh, Scotland, July 1988, IEEE Computer Society.
3. Martín Abadi, Leslie Lamport, and Pierre Wolper. Realizable and unrealizable program specifications. In G. Ausiello, M. Dezani-Ciancaglini, and S. Ronchi Della Rocca, editors, Automata, Languages and Programming, Lecture Notes in Computer Science, 372, pages 1–17. Springer-Verlag, July 1989.
4. Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4):181–185, October 1985.
5. Howard Barringer, Ruurd Kuiper, and Amir Pnueli. A really abstract concurrent model and its temporal logic. In Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 173–183. ACM, January 1986.
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献