×
丹妮尔·戈拉;伊万诺·萨尔沃

事件结构中的冲突与因果关系。 （英语） Zbl 1509.68186号

J.日志。阿尔盖布。方法计划。 119，文章ID 100631，16 p.（2021）.
摘要：事件结构是最著名的并发模型之一。文献中设计了基本模型的许多变体以及它们的许多可能等价概念。在本文中，我们研究了Van Glabbeek和Goltz构建的标记素数事件结构的等价谱在考虑两个简化的事件结构概念时是如何变化的：第一个概念是通过删除因果关系（相干空间）获得的第二种方法是删除冲突关系（基本事件结构）。正如预期的那样，在这两种情况下，频谱都被简化了，因为一些等效概念在简化的设置中是一致的；实际上，我们证明消除因果关系比消除冲突更能简化频谱。此外，我们还证明了事件的标记和我们称之为的属性有限性在无冲突环境中强烈影响等价谱，而它们对无因果关系谱没有影响。

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学

关键词：

事件结构;行为等效性;真正并发的语义

软件：

鹦鹉螺;踪迹
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}和\textit{I.Salvo}，J.Log。阿尔盖布。方法计划。119，文章ID 100631，16 p.（2021；Zbl 1509.68186）
全文： 内政部 arXiv公司

参考文献：

[1] 巴尔丹，P。；Crafa，S.，《真正并发的逻辑》，J.ACM，61，4，第24条pp.（2014）·Zbl 1321.68355号
[2] Bednarczyk，M.A.，《遗传历史保存互模拟或程序逻辑中未来完美的力量是什么》（1991年），波兰科学院，技术报告
[3] Bergstra，J.A。；Klop，J.W.，同步通信的进程代数，Inf.Control，60，1-3，109-137（1984）·Zbl 0597.68027号
[4] 布多尔，G。；Castellani，I.，《关于并发的语义：部分顺序和转换系统》（TAPSOFT的Proc.’87（1987）），123-137·Zbl 0614.68023号
[5] 布多尔，G。；Castellani，I.，《转换的排列：CCS和SCCS的事件结构语义》，（逻辑和并发模型中的线性时间、分支时间和部分顺序），逻辑和并发模式中的线性时、分支时间与部分顺序，LNCS，第354卷（1988），Springer），411-427·Zbl 0683.68029号
[6] Bucciarelli，A。；Ehrhard，T.，PCF强稳定模型的扩展嵌入，（ICALP Proc.of ICALP，LNCS，vol.510（1991），Springer），35-46·Zbl 0786.68053号
[7] Bucciarelli，A。；Ehrhard，T.，序列性和强稳定性，（LICS（1991），IEEE计算机学会），138-145
[8] 德尼古拉，R。；蒙塔纳里，美国。；Vaandrager，F.W.，《前后双向模拟》，（CONCUR的《CONCUR程序》，LNCS，第458卷（1990年），Springer），152-165
[9] Degano，P。；德尼古拉，R。；Montanari，U.，并发模型的观测等价性，（编程概念的形式化描述-III（1987），北荷兰），105-134
[10] Degano，P。；德尼古拉，R。；Montanari，U.，非确定性并发过程的偏序描述和观察，（并发逻辑和模型中的线性时间、分支时间和偏序。并发逻辑和模型中的线性时间、分支时间和偏序，LNCS，第354卷（1988），Springer），438-466·Zbl 0683.68067号
[11] Fecher，H.，真正并发等价物的完整层次结构，Inf.Process。莱特。，89, 5, 261-265 (2004) ·Zbl 1178.68364号
[12] Girard，J.，《线性逻辑》，Theor。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号
[13] Gischer，J.，《偏序和shuffle公理理论》（1984），斯坦福大学博士论文
[14] 戈拉，D。；萨尔沃，I。；Piperno，A.，《事件结构中的冲突与因果关系》（Pérez，J.A.；Rot，J.，《2019年EXPRESS/SOS会议录》）。《2019年EXPRESS/SOS会议记录》，EPTCS，第300卷（2019年），86-101·Zbl 07449996号
[15] Hoare，C.A.R.，通信顺序过程，Commun。ACM，21、8、666-677（1978）·Zbl 0383.68028号
[16] 麦凯，B.D。；Piperno，A.，软件分发，以及
[17] 麦凯，B.D。；Piperno，A.，实用图同构，II，J.Symb。计算。，60, 94-112 (2014) ·Zbl 1394.05079号
[18] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[19] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri网，事件结构和域，第一部分，Theor。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[20] 尼尔森，M。；Thiagarajan，P.S.，《规则事件结构和有限petri网：无冲突情况》，（petri网的应用和理论。petri网应用和理论，LNCS，第2360卷（2002），Springer），335-351·Zbl 1047.68088号
[21] Peterson，J.L.，Petri网，ACM计算。调查。，9, 3, 223-252 (1977) ·Zbl 0357.68067号
[22] Peterson，J.L.，《Petri网理论与系统建模》（1981），Prentice Hall·兹比尔0461.68059
[23] Petri，C.A.，Kommunikation mit Automaten（1962），波恩大学，博士论文
[24] Pomello，L.，并发系统的一些等价概念。概述，（《Petri网的进展》，Petri网进展，LNCS，第222卷（1985年），Springer），381-400·Zbl 0611.68037号
[25] Pratt，V.R.，并行过程的pomset模型：统一时间和空间，（并发研讨会论文集。并发研讨会论文集中，LNCS，第197卷（1985），Springer）·Zbl 0589.68025号
[26] Pratt，V.R.，用部分顺序建模并发，国际并行程序。，15, 1 (1986) ·Zbl 0622.68034号
[27] Rabinovich，A。；Trakhtenbrot，B.A.，《行为结构和网络》，Fundam。通知。，11, 4, 357-404 (1988) ·Zbl 0657.68068号
[28] van Glabbeek，R.J.，线性时间分支时间谱（扩展摘要），（CONCUR的Proc.，CONCUR Proc.，LNCS，第458卷（1990年），Springer），278-297
[29] van Glabbeek，R.J.，《线性时间分支时间谱II》，（CONCUR Proc.of CONCUR，LNCS，vol.715（1993），Springer），66-81
[30] van Glabbeek，R.J。；Goltz，U.，并发系统动作和等价概念的细化，Acta Inform。，37, 4/5, 229-327 (2001) ·Zbl 0969.68081号
[31] van Glabbeek，R.J。；美国高尔茨。；Schicke-Uffmann，J.，《关于表征可分配性》，Log。方法计算。科学。，2013年9月3日·Zbl 1274.68261号
[32] van Glabbeek，R.J。；Plotkin，G.D.，配置结构，（美国电气与电子工程师协会LICS会议记录（1995）），199-209
[33] Winskel，G.，事件结构，（Petri网：中心模型及其属性（Petri网络的进展）。Petri网：中心模型及其性质（Petri网进展），LNCS，第255卷（1986年），施普林格出版社，325-392
[34] 温斯克尔，G。；尼尔森，M.，《并发模型》（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《计算机科学逻辑手册》，第4卷（1995），牛津大学出版社：牛津大学出版社，美国纽约州纽约市），1-148·Zbl 0876.68001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。