Affiliation:
1. Department of Mathematics, Yangzhou University, Yangzhou 225002, China
Abstract
We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpoLis strongly semicontinuous if and only ifLis semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. Some interpolation properties of semiway-below relations in (strongly) semicontinuous bc-domains are given. In terms of these properties, it is proved that strongly semicontinuous bc-domains, in particular strongly semicontinuous lattices, are all semi-FS domains.
Funder
Open Fund of the State Key Laboratory of Beijing University
Subject
General Environmental Science,General Biochemistry, Genetics and Molecular Biology,General Medicine
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strongly Semicontinuous Lattices;Electronic Notes in Theoretical Computer Science;2017-09
2. Integrating Trust with Qualitative and Quantitative Preference for Service Selection;2014 IEEE International Conference on Services Computing;2014-06
3. Prioritizing and Scheduling Service Requests under Time Constraints;2014 IEEE International Conference on Services Computing;2014-06