关于FS-Domain的Plotkin幂-Domain
被引量：1
摘要
本文证明了 ＦＳ－Ｄｏｍａｉｎ关于 Ｐｌｏｔｋｉｎ幂－Ｄｏｍａｉｎ构造是封闭的．
出处
《数学年刊（A辑）》
CSCD
北大核心
2000年第6期697-700,共4页
Chinese Annals of Mathematics
基金
国家自然科学基金!(No.19831040)
教育部数学研究中心资助的项目
参考文献2
-
1Liang J H，Computer Math Appl，1999年，38卷，81页
-
2Liu Y M，Topology Its Application，1996年，69卷，153页
同被引文献9
-
1王习娟,徐罗山.FS-相容Domain的定向完备化及相关范畴性质[J].模糊系统与数学,2005,19(3):82-87. 被引量：7
-
2ABRAMSKY S, JUNE A. Domain theory[M]//ABRAMSKY S, GABBAY DOV M, MAIBAUM T S E. Handbook of Logic in Computer Science. Oxford: Clarendon Press, 1994: 1-168.
-
3GIERZ G, HOFMANN K H, KEIMEL K, et al. Continuous lattices and domains[M]. Berlin: Springer-Verlag, 2003.
-
4JUNG A, The classification of continuous domains[M]// Logic in Computer Science. California: IEEE Computer Society Press, 1990: 35-40.
-
5REINHOLD H. Characterising FS-Domain by means of power domains[J]. Theortical Computer Science, 2001(264) :195-203.
-
6MAO X X, XU L S. B-Posets, FS-Posets and relevant categories[J]. Semigroup Forum, 2006(72) : 121-133.
-
7HERRILICH H, STRECKER E. Category theory[M]. Berlin: Heldermann Verlag, 1979.
-
8梁基华.连续B-domain的一个刻划定理[J].数学年刊（A辑）,1998,19A(6):699-702. 被引量：3
-
9寇辉,罗懋康.Scott连续自映射的不动点[J].中国科学（A辑）,2001,31(6):523-528. 被引量：5
-
1唐同诰.逻辑化的指称语义学[J].复旦学报（自然科学版）,1989,28(2):180-187.
-
2刘玥波.基于指称语义的UML序列图的语义分析[J].赤峰学院学报（自然科学版）,2012,28(23):33-35.
-
3刘玥波.基于指称语义的UML序列图的形式化分析[J].吉林建筑工程学院学报,2011,28(2):87-89. 被引量：2
-
4王纪川,侯迪,齐勇.Repeat-until语句的操作语义与指称语义的等价性证明[J].西安工程科技学院学报,2006,20(6):763-766.
