Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. K.E. Flannery and J.J. Martin. The Hoare and Smyth power domain constructors commute under composition. Journal of Computer and System Sciences, 40:125–135, 1990.
2. G. Gierz, K.H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.
3. G. Gierz, J.D. Lawson, and A. Stralka. Quasicontinuous posets. Houston Journal of Mathematics, 9:191–208, 1983.
4. R. Heckmann. Power Domain Constructions. PhD thesis, Universität des Saarlandes, 1990.
5. R. Heckmann. Lower and upper power domain constructions commute on all cpos. Information Processing Letters, 40(1):7–11, 1991.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scott topology on Smyth power posets;Mathematical Structures in Computer Science;2023-07-27
2. Non-Hausdorff topology;Topology - Recent Advances and Applications [Working Title];2023-04-13
3. On Some Topological Properties of Dcpo Models of $$T_1$$ Topological Spaces;Results in Mathematics;2022-03-18
4. Hofmann-Mislove type definitions of non-Hausdorff spaces;Mathematical Structures in Computer Science;2022-01
5. On weakly bounded well-filtered spaces;AIMS Mathematics;2022