Author:
Abadi Martín,Merz Stephan
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Martín Abadi. An axiomatization of Lamport’s Temporal Logic of Actions. In J.C.M. Baeten and J.W. Klop, editors, volume 458 of Lecture Notes in Computer Science, pages 57–69. Springer-Verlag, August 1990. Also appeared as SRC Research Report 65, revised in March 1993.
2. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2):253–284, May 1991.
3. Martín Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73–132, January 1993.
4. Martín Abadi and Leslie Lamport. Conjoining specifications. Research Report 118, Digital Equipment Corporation, Systems Research Center, 1993. To appear in ACM Transactions on Programming Languages and Systems.
5. Martín Abadi and Leslie Lamport. An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems, 16(5):1543–1571, September 1994.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献