×

上下文中的事件。 (英语) Zbl 1360.68623号

小结:在这篇对Glynn Winskel的简短致敬中,我回忆起我们第一次见面时的一些记忆,并描述了一些最近关于观测系统上下文语义的工作,这些语义可用于建模量子非定域性和上下文性,它受到了Glynn关于事件结构和并发预处理语义的工作的影响。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
01A70号 传记、讣告、个人资料、参考书目
68-03 计算机科学史
68问题55 计算理论中的语义学
81页68 量子计算

传记参考:

格林·温斯克尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Winskel,G.,《计算中的事件》(1980),爱丁堡大学,博士论文
[2] 尼尔森,M。;Plotkin,G。;Winskel,G.,Petri网,事件结构和域,第一部分,定理。计算。科学。,13, 1, 85-108 (1981) ·Zbl 0452.68067号
[3] Abramsky,S。;Brandenburger,A.,《非局部性和情境性的sheaf-theoretic结构》,《新物理学杂志》。,13, 11, 113036 (2011) ·Zbl 1448.81028号
[4] Cattani,G。;Winskel,G.,并发的Presheaf模型,(计算机科学逻辑(1997),Springer),58-75·Zbl 0881.18013号
[5] Hardy,L.,几乎所有纠缠态都没有不等式的两个粒子的非定域性,Phys。修订稿。,71, 11, 1665-1668 (1993) ·兹伯利0972.81522
[6] Bell,J.,《论爱因斯坦-波多尔斯基-罗森悖论》,物理学,1,3195-200(1964)
[7] Abramsky,S。;Hardy,L.,逻辑贝尔不等式,物理学。版本A,85,6,062114(2012)
[8] Abramsky,S。;曼斯菲尔德,S。;Barbosa,R.S.,《非定域性和情境性的上同调》(2011年《量子物理与逻辑学报》)。2011年量子物理与逻辑学报,电子。程序。理论。计算。科学。,第95卷(2012)),1-15·Zbl 1464.81012号
[9] Abramsky,S.,关系隐藏变量和非局部性,Studia Logica,101,2,411-452(2013)·Zbl 1278.81101号
[10] Abramsky,S.,《关系数据库和贝尔定理》,(Tannen,V.;Wong,L.;Libkin,L.,Fan,W.;Tan,W.C.;Fourman,M.,《在计算理论和实践中寻找优雅:献给彼得·布内曼的论文》(2013),斯普林格出版社)·Zbl 1397.68041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。