×

素代数性。 (英语) Zbl 1186.68271号

摘要:素数代数格可以被描述为与其完全素数的向下闭子集同构,这些子集按包含顺序排列。很容易看出,当按包含排序时,部分序的向下闭子集形成一个完全分配的代数格。反之亦然;任何完全分配代数格都同构于这样一组部分序的向下闭子集。当格的阶仅限于其完全素数时,可以从格中恢复部分阶。因此,素代数格就是完全分配代数格。结果扩展到Scott域。简要探讨了几个结果:贝里dI-域的事件结构表征;完全分布式Scott域信息系统的简化形式;以及一个简单的并发领域理论。

MSC公司:

68问题55 计算理论中的语义学
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
99年6月 分配格

软件:

HOPLA公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 北卡罗来纳州本顿。;比尔曼,G。;德佩瓦,V。;Hyland,M.,《线性lambda-calculus和范畴模型重温》(第六届计算机科学逻辑研讨会论文集(1993),施普林格出版社),61-84·兹比尔0840.03003
[2] Berry,G.,类型lambda-calculi的稳定模型,(Proc.ICALP’78。程序。ICALP’78,Springer计算机科学讲义,第62卷(1978))·Zbl 0382.68041号
[3] G.浆果,Modèles completement adéquats et stables des\(\lambda\);G.浆果,Modèles completement adéquats et stables des(\lambda\)
[4] Berry,G。;Curien,P.-L.,《具体数据结构的顺序算法》,理论计算机科学(1982)·Zbl 0497.68012号
[5] Cattani,G.L。;温斯克尔,G.,(Profunctors,Open Maps and Bisimulation.Profunctor,Open Maps and Bissimulation,Mathematical Structures in Computer Science,vol.15(2005),CUP),553-614·Zbl 1169.68537号
[6] Coquand,T。;冈特,C。;Winskel,G.,dI-domains as a model of polymorphism,(《第三次编程语言语义数学基础研讨会论文集》,洛杉矶新奥尔良。《第三期编程语言语义的数学基础研讨会文章集》,路易斯安那州新奥尔良,斯普林格计算机科学讲稿,第298卷(1987))·Zbl 0644.68041号
[7] 费尔南德斯,C。;Thiagarajan,P.S.,D-连续因果网的一些性质,(ICALP 82的Proc.)。程序。ICALP 82,Springer-Verlag Comp课堂讲稿。《科学》,第140卷(1982年)·Zbl 0489.68052号
[8] Gierz,G。;霍夫曼,K.H。;Keimel,K。;劳森·J·D。;Mislove先生。;Scott,D.S.,《连续格纲要》(1980),斯普林格·弗拉格·兹比尔0452.06001
[9] Girard,J.-Y.,《十五年后的可变类型系统F》,理论计算机科学,45159-192(1986)·Zbl 0623.03013号
[10] Girard,J.-Y.,线性逻辑,理论计算机科学,50,1,1-102(1987)·Zbl 0625.03037号
[11] Grätzer,G.,《一般格理论》(1978),Birkhaüser·Zbl 0385.06015号
[12] Hennessy,M.,《高阶过程的完全抽象指称模型,信息与计算》,112,1,55-95(1994)·Zbl 0806.68071号
[13] Hoffmann,R.-E.,连续偏序集,完全分配格的素谱,Hausdorff紧性,数学讲义,87115-208(1981)
[14] Johnstone,P.T.(《石头空间》,《剑桥高等数学研究》,第3卷(1982年))·Zbl 0499.54001号
[15] G.Kahn,G.Plotkin,《Données Concrètes结构》,爱尔兰劳工协会报告3361979年;G.Kahn,G.Plotkin,《Données Concrètes结构》,爱尔兰劳工协会报告3361979年
[16] Lawson,J.D.,《连续偏序集的对偶性》,《休斯顿数学杂志》,5,3,357-386(1979)·Zbl 0428.06003号
[17] P.-A.Melliès,重温线性逻辑的分类模型。公共出版(2003年9月,第22期),《理论计算机科学》。可从以下位置获得网址:http://www.pps.jussieu.fr/蜜糖/;P.-A.Melliès,重温线性逻辑的分类模型。公共出版(2003年9月,第22期),《理论计算机科学》。可从以下位置获得网址:http://www.pps.jussieu.fr/梅利斯/
[18] 尼尔森,M。;Plotkin,G.D。;Winskel,G.,Petri网,事件结构和域(Proc.Semantics of Concurrent Computation,Evian 1979)。程序。并发计算的语义,Evian 1979,Springer计算机科学讲义,第70卷(1979))·Zbl 0452.68067号
[19] 尼尔森,M。;Plotkin,G。;Winskel,G.,Petri网,事件结构和域,第1部分,理论计算机科学,13,85-108(1981)·Zbl 0452.68067号
[20] Nygaard,M。;Winskel,G.,并发领域理论,理论计算机科学,316,1,153-190(2004)·Zbl 1072.68062号
[21] Scott,D.S.,数据类型作为格,SIAM计算杂志,5522-587(1976)·Zbl 0337.02018号
[22] Scott,D.S.,《信息系统》(Proc.ICALP’82。程序。ICALP’82,Springer计算机科学讲义,第140卷(1982))
[23] G.Winskel,《计算事件》,爱丁堡大学博士论文,1980年。可从以下位置获得http://www.cl.cam.ac.uk/users网站/gw104;G.Winskel,《计算事件》,爱丁堡大学博士论文,1980年。可从以下位置获得http://www.cl.cam.ac.uk/users网站/gw104型
[24] Winskel,G.,CCS和相关语言的事件结构语义,(ICALP程序集82。程序。ICALP 82,Springer-Verlag Comp课堂讲稿。Sc.,vol.140(1982)),这是丹麦奥胡斯大学计算机科学系报告的扩展摘要,标题相同,1983年。可从以下位置获得http://www.cl.cam.ac.uk/gw104型·Zbl 0518.68045号
[25] G.Winskel,完全分配代数格的表示,卡内基梅隆大学计算机科学系报告,1983年;G.Winskel,完全分配代数格的表示,卡内基梅隆大学计算机科学系报告,1983年
[26] Winskel,G。;Larsen,K.G.,《使用信息系统有效求解递归域方程》(Proc.Semantics of Data Types,Sophia-Antipolis,1984)。程序。数据类型的语义,Sophia-Antipolis,1984,Springer计算机科学讲稿,第173卷(1984))·兹伯利0539.68019
[27] G.Winskel,事件结构。1986年9月受邀为Petri网高级课程授课。出现在剑桥大学计算机实验室的报告中,1986年,在学校的会议记录中,发表在《斯普林格讲义》C.S.,第255卷,1987年;G.Winskel,事件结构。1986年9月受邀为Petri网高级课程授课。出现在剑桥大学计算机实验室的报告中,1986年,在学校的会议记录中,发表在《斯普林格讲义》C.S.,第255卷,1987年
[28] Winskel,G.,《编程语言的形式语义,导论》(1993年1月),麻省理工学院出版社
[29] Winskel,G.,《并发的线性元语言》,(巴西AMAST'98程序中的受邀演讲。巴西AMAST'98程序的受邀讲座,计算机科学中的Springer讲稿,第1548卷(1999))·兹伯利0921.18007
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。