Author:
Abadi Martín,Merz Stephan
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Martín Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73–132, January 1993.
2. 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.
3. NATO ASI Series;M. Abadi,1995
4. Martín Abadi and Gordon Plotkin. A logical view of composition and refinement. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 323–332. ACM, January 1991.
5. Martín Abadi and Gordon Plotkin. A logical view of composition. Theoretical Computer Science, 114(1):3–30, June 1993.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献