×

具有对称性的事件结构。 (英语) Zbl 1277.68214号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,611-652(2007)。
摘要:介绍了一类具有对称性的事件结构,并对其范畴性质进行了研究。概述了事件结构语义在高阶过程、不确定性数据流和多标记Petri网展开中的应用。
关于整个系列,请参见[Zbl 1273.68018号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
18立方厘米 单子(=标准结构,三元组或三元组),单子代数,单子的同调函子和派生函子
68问题55 计算理论中的语义学

软件:

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

参考文献:

[1] Abramsky,S。;Jagadeesan,R。;Malacaria,P.,《PCF的完整抽象,信息和计算》,163,409-470(2000)·Zbl 1006.68028号
[2] Berry,G.,Modèles completement adéquats et stables des贝里·G·莫代莱斯Λ;; Berry,G.,Modèles completement adéquats et stables des贝里·G·莫代莱斯Λ;
[3] Burroni,A.,T-catégories。《地形与地理差异》,第十二卷第3期,1971年;Burroni,A.,T-catégories。Cahiers de topologie et géométrie différentielle,XII 31971年
[4] Cattani,G.L.和Winskel,G.,Profunctors,开放映射和互模拟。MSCS,2005年;Cattani,G.L.和Winskel,G.,Prounctors,开放地图和交互模拟。MSCS,2005年·Zbl 1169.68537号
[5] Cheng,E。;海兰德,J.M.E。;Power,A.J.,伪分配定律,ENTCS,83(2004)
[6] Crazzolara,F.和Winskel,G.,《构成股空间》。FSTTCS’02,2002年;Crazzolara,F.和Winskel,G.,《构成股空间》。2002年2月FSTTCS·Zbl 1027.68089号
[7] Doghmi,S.F.、Guttman,J.D.和Thayer,F.J.,《在密码协议中搜索形状》。TACAS’07,2007年;Doghmi,S.F.、Guttman,J.D.和Thayer,F.J.,《在密码协议中搜索形状》。2007年7月TACAS·Zbl 1186.94435号
[8] Hayman,J.和Winskel,G.,《通用Petri网的展开》。即将到来;Hayman,J.和Winskel,G.,《通用Petri网的展开》。即将到来·Zbl 1248.68354号
[9] Johnstone,P.,《大象素描,拓扑理论概要》,第1卷(2002年),OUP·Zbl 1071.18001号
[10] Joyal,A。;尼尔森,M。;Winskel,G.,《开放地图的相互模拟,信息与计算》,127,2,164-185(1996),可作为金砖国家报告获取,RS-94-7·Zbl 0856.68067号
[11] 卡恩,G。;Plotkin,G.D.,混凝土领域,TCS,121,1&2,187-277(1993)·Zbl 0809.68085号
[12] Koslowski,J.,《多范畴的一元方法,范畴的理论与应用》,14,7,125-156(2005)·Zbl 1075.18002号
[13] 尼尔森,M。;Plotkin,G.D。;Winskel,G.,Petri网,事件结构和域,TCS,13,1,85-108(1981)·Zbl 0452.68067号
[14] Nygaard,M.,并发领域理论。奥胡斯大学博士论文,2003年;Nygaard,M.,并发领域理论。奥胡斯大学博士论文,2003年·Zbl 1072.68062号
[15] Nygaard,M。;Winskel,G.,并发领域理论,TCS,316,153-190(2004)·Zbl 1072.68062号
[16] Power,A.J.,2类,金砖国家演讲笔记(1998年3月),奥胡斯大学
[17] Saunders-Evans,L。;Winskel,G.,《非确定性数据流的事件结构跨度》,Proc。06年特快。程序。2006年特快列车,ENTCS(2006)
[18] Saunders Evans,L.,《坚持的事件》。即将获得剑桥大学计算机实验室博士学位;Saunders-Evans,L.,《持续性事件》。即将获得剑桥大学计算机实验室博士学位
[19] Winskel,G。;Nielsen,M.,并发模型,(逻辑和计算机科学基础手册,第4卷(1995),OUP),1-148
[20] Winskel,G.,《计算中的事件》。爱丁堡大学博士论文,可从http://www.cl.cam.ac.uk/users/gw104; Winskel,G.,《计算中的事件》。爱丁堡大学博士论文,可从http://www.cl.cam.ac.uk/users/gw104
[21] Winskel,G.,《CCS和相关语言的事件结构语义》(ICALP 82)。ICALP 82,Springer-Verlag LNCS,140(1982)),扩展版本可从·Zbl 0518.68045号
[22] Winskel,G.,Petri网上态射的新定义。STACS’84:140-1501984年;Winskel,G.,Petri网上态射的新定义。STACS’84:140-1501984年·Zbl 0559.68058号
[23] Winskel,G.,《事件结构》。1986年9月受邀为Petri网高级课程授课(Springer LNCS,第255卷(1987))
[24] Winskel,G.,《事件结构简介》。REX时间逻辑暑期学校(Springer LNCS,第354卷(1988))
[25] Winskel,G.,《并发关系》。受邀演讲,LICS’05,2005;Winskel,G.,《并发关系》。2005年LICS’05受邀演讲
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。