奥纳州Agrigoroaiei;加布里埃尔·乔巴努 非确定性数据流的非互斥语义和因果关系。 （英语） Zbl 1161.68557号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学讲义5160，66-80（2008）。 摘要：我们提出了一个非确定性数据流的指称模型，其中引入了因果关系的明确概念。我们定义了一组固定通道上的标记流和两个诱导cpo结构的阶。标记流基于冲突关系，该冲突关系允许同时表示多个行为（配置）。网络流是用于表示数据流网络的配置上的连续函数。我们使用Galois连接的一种形式，其中这样的函数是上伴随，将可能的输出与其原因关联起来。使用不动点构造定义反馈操作。Russell的示例用于说明这种形式化方法如何解决非确定性数据流的因果异常。关于整个系列，请参见[兹比尔1154.68011]。 理学硕士： 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） PDF格式BibTeX公司 XML格式引用 \textit{O.Agrigoroaiei}和\textit{G.Ciobanu}，Lect。注释计算。科学。5160、66-80（2008年；Zbl 1161.68557） 全文： 内政部 参考文献： [1] Abramsky，S。；施密特，D.A。；Main，M.G。；梅尔顿，A.C。；Mislove，M.W.，抽象异步网络的广义卡恩原理，编程语义的数学基础，1-21（1990），海德堡：斯普林格·Zbl 1509.68075号 ·doi:10.1007/BFb0040252 [2] Abramsky，S.，Jung，A.：领域理论。收录于：《计算机科学逻辑手册》，第三卷，第1-168页。克拉伦登出版社（1994）·Zbl 0829.68111号 [3] 布洛克，J。；Ackerman，W.，《场景：非确定性计算模型》，252-259（1981），海德堡：施普林格出版社 [4] M.Erné。；Koslowski，J。；梅尔顿，A。；Strecker，G.E。；Paulisch，F.N.，《Galois连接入门》，《可扩展图形编辑器的设计》，103-125（1993），海德堡：斯普林格出版社·Zbl 0809.06006号 [5] 希尔德布兰特，T.T。；帕南加登，P。；Winskel，G.，非确定性数据流的关系模型，计算机科学中的数学结构，14613-649（2004）·Zbl 1093.68063号 ·doi:10.1017/S0960129504004293 [6] Gaifman，H.，Pratt，V.R.：并行和函数计算的偏序模型。计算机科学中的逻辑，72-85（1987） [7] Jonsson，B.：数据流网络的完全抽象跟踪模型。编程语言原理，155-165（1989） [8] Kahn，G.：并行编程简单语言的语义。摘自：IFIP大会，第471-475页（1974年）·Zbl 0299.68007号 [9] Najjar，W.A。；Lee，E.A。；Gao，G.R.，《数据流计算模型的进展》，并行计算，251907-1929（1999）·doi:10.1016/S0167-8191（99）00070-8 [10] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri Nets，事件结构和域，Rechnerstrukturen und Betriebsprogrammierung，13，85-108（1981）·Zbl 0452.68067号 [11] Russell，J.R.：非确定性数据流网络的完整抽象。计算机科学基础，170-175（1989） [12] Saunders-Evans，L。；Winskel，G.，《非确定性数据流的事件结构跨度》，《理论计算机科学电子笔记》，175109-129（2007）·Zbl 1277.68128号 ·doi:10.1016/j.entcs.2006.10.055 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。