×
保罗·巴尔丹；丹尼尔·戈拉；托马索·帕多安；伊万诺·萨尔沃

配置结构的行为逻辑。 （英语） Zbl 1483.68222号

西奥。计算。科学。 913, 94-112 (2022).
摘要：我们提供了配置结构的行为逻辑，这是由van Glabbeek和Plotkin提出的一个模型，它概括了事件结构的（有限）配置族。该逻辑是Baldan和Crafa为基本事件结构提供的逻辑的保守扩展。我们证明了逻辑等价可以被描述为一种保持遗传历史的双相似性。我们将这种双相似性概念与van Glabbeek在高维自动机环境下提出的等价性进行了比较，结果表明，一般来说，它更精细，而这两个概念在一般事件结构的框架中是一致的。最后，我们探讨了如何限制一般逻辑，以获取保留历史的双重相似性的概念。

引用于2文件

MSC公司：

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

关键词：

配置结构；模态逻辑；行为等效性；事件结构；真正并发的语义
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Theor。计算。科学。913，94-112（2022年；兹比尔1483.68222）
全文： 内政部

参考文献：

[1] 奥伯特，C。；Cristescu，I.，《可逆性如何解决传统问题：遗传历史-保存相互模拟的例子》，（CONCUR.CONCUR，LIPIcs，第171卷（2020年），达格斯图尔宫-莱布尼茨-泽特鲁姆宫），7:1-7:23·Zbl 07559463号
[2] 巴尔丹，P。；Corradini，A。；埃里格，H。；Löwe，M。；蒙塔纳里，美国。；Rossi，F.，代数图形变换系统的并发语义，（Rozenberg，G.，《图形语法和图形变换计算手册》，第三卷：并发（1999），《世界科学》，107-187·Zbl 0951.68049号
[3] 巴尔丹，P。；Crafa，S.，《真正并发的逻辑》（Gastin，P.；Laroussinie，F.，CONCUR’10的Proc.）。程序。CONCUR’10，LNCS，第6269卷（2010年），施普林格），147-161·Zbl 1287.68120号
[4] 巴尔丹，P。；Crafa，S.，《遗传历史提供的双重相似性：逻辑和自动机》，（Garrigue，J.，《APLAS学报》，2014年。APLAS’14会议录，LNCS，第8858卷（2014），Springer），469-488·Zbl 1453.68110号
[5] 巴尔丹，P。；Crafa，S.，《真正并发的逻辑》，J.ACM，61，4，第24条pp.（2014）·Zbl 1321.68355号
[6] Bednarczyk，M.A.，《遗传历史保存互模拟或程序逻辑中未来完美的力量是什么》（1991年），波兰科学院，技术报告
[7] 贝斯特，E。；Devillers，R。；Kiehn，A。；Pomello，L.，《完全并发互模拟》，《信息学报》。，28, 231-261 (1991) ·Zbl 0718.68034号
[8] 布鲁尼，R。；梅尔格拉蒂，H.C。；Montanari，U.，《名词计算的事件结构语义》（CONCUR 2006）。CONCUR 2006，LNCS，第4137卷（2006），施普林格），295-309·Zbl 1151.68512号
[9] Degano，P。；德尼古拉，R。；Montanari，U.，非确定性并发过程的部分排序描述和观察，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，REX Workshop。REX Workshop，LNCS，第354卷（1988），Springer:Springer Heidelberg，de），438-466·Zbl 0683.68067号
[10] Joyal，A。；尼尔森，M。；Winskel，G.，开放地图的双向模拟，Inf.Compute。，127, 2, 164-185 (1996) ·Zbl 0856.68067号
[11] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，第1部分，Theor。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[12] 菲利普斯一世。；Ulidowski，I.，事件标识符逻辑，数学。结构。计算。科学。，24, 2, 1-51 (2014) ·兹比尔1342.68240
[13] Pratt，V.R.，《用几何建模并发性》（POPL（1991），ACM出版社），311-322
[14] Prisacariu，C.，《过去的荣耀与几何并发》（图灵-100）。图灵-100，EPiC计算机系列，第10卷（2012），EasyChair），252-267
[15] Rabinovich，A.M。；Trakhtenbrot，B.A.，《行为结构和网络》，Fundam。通知。，11, 357-404 (1988) ·Zbl 0657.68068号
[16] 范·格拉贝克，R。；Goltz，U.，并发系统动作和等价概念的细化，Acta Inform。，37, 4/5, 229-327 (2001) ·Zbl 0969.68081号
[17] van Glabbeek，R.J.，《高维自动机的双向模拟》（1991），电子邮件
[18] van Glabbek，R.J.，关于高维自动机的表现力，Theor。计算。科学。，356, 3, 265-290 (2006) ·Zbl 1092.68071号
[19] van Glabbeek，R.J。；Plotkin，G.D.，《配置结构》（Kozen，D.，第十届IEEE计算机科学逻辑研讨会论文集（1995年6月），IEEE计算机社会出版社），199-209年
[20] 瓦拉卡，D。；吉田，N.，《类型化事件结构和线性像素》，Theor。计算。科学。，411, 19, 1949-1973 (2010) ·Zbl 1200.68165号
[21] Winskel，G.，《CCS和相关语言的事件结构语义》（Nielsen，M.；Schmidt，E.M.，《ICALP’92会议录》）。ICALP’92会议记录，LNCS，第140卷（1982年），施普林格出版社，561-576·Zbl 0518.68045号
[22] Winskel，G.，《事件结构》（Brauer，W.；Reisig，W.，Rozenberg，G.），《Petri网：与其他并发模型的应用和关系》（Petri Nets:Applications and Relationships to Other Models of Concurrency），LNCS，第255卷（1987），Springer），325-392·Zbl 0626.68022号
[23] Winskel，G.，《事件、因果关系和对称》，计算。J.，54，1，42-57（2011）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。