Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. S. Abramsky. Domain theory in logical form. In Proceedings, Annual Symposium on Logic in Computer Science, pages 47–53. IEEE CS, 1987.
2. S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51:1–77, 1991.
3. B. Davey and H. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
4. F. de Boer and C. Palamidessi. A fully abstract model for concurrent constraint programming. In S. Abramsky and T. Maibaum, editors, Proc. of TAPSOFT/CAAP, volume 493 of Lecture Notes in Computer Science, pages 296–319. Springer-Verlag, 1991.
5. N. Francez. Fairness. Springer-Verlag, 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献