×
罗布·范·格拉贝克。

结构保持双重相似性，支持CCSP的操作Petri网语义。 （英语） Zbl 1444.68125号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9360, 99-130 (2015).
摘要：摘自《Lect.Notes Compute.Sci.266196-223》（1987；Zbl 0636.68072号)],E.-R.Olderog公司为CCSP的子集、Milner的CCS和Hoare的CSP的联合提供了操作Petri网语义。它为子集中的每个过程项分配一个带标签的安全位置/转换网络。为了证明该方法的正确性，Olderog建立了一致性（1）与CCSP的标准交织语义达到强互模拟等价，以及（2）根据Petri网对CCSP操作符进行标准的指称解释，达到完全尊重网的因果结构的适当语义等价。对于后者，他采用了线性时间语义对等，即具有相同的因果网络。本文加强了（2），使用了这种语义的一个新的分支时间版本——结构保持的双相似性——并且保留了必然性。我确定这是CCSP运营商的一致意见。
关于整个系列，请参见[Zbl 1320.68024号].

引用于12文件

MSC公司：

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

引文：

Zbl 0636.68072号
PDF格式BibTeX公司 XML格式引用
\textit{R.J.van Glabbeek}，莱克特。票据计算。科学。9360，99-130（2015；Zbl 1444.68125）
全文： DOI程序 arXiv公司

参考文献：

[1] Autant，C.，Belmesk，Z.，Schnoebelen，P.：重新审视了蚊帐的强相似性。In:Aarts，E.H.L.，van Leeuwen，J.，Rem，M.（编辑）Proc。1991年巴黎。LNCS，第506卷，第295-312页。斯普林格，海德堡（1991）·doi:10.1007/3-540-54152-771
[2] Best，E.，Devillers，R.，Kiehn，A.，Pomello，L.：Petri网中的并发双模拟。《信息学报》28，231–264（1991）。doi:10.1007/BF01178506·Zbl 0718.68034号 ·doi:10.1007/BF01178506
[3] Brookes，S.D.，Hoare，C.A.R.，Roscoe，A.W.：沟通顺序过程的理论。ACM杂志31（3），560-599（1984）。数字对象标识代码：10.1145/828.833·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833
[4] Castellano，L.，De Michelis，G.，Pomello，L.：并发与交错：一个有启发性的例子。EATCS公报31、12–15（1987）·Zbl 1023.68635号
[5] Degano，P.，De Nicola，R.，Montanari，U.：CCS是一种（增强的）无触点C/E系统。In：Zilli，M.V.（编辑）MMSP 1987。LNCS，第280卷，第144–165页。斯普林格，海德堡（1987）·Zbl 0635.68058号 ·doi:10.1007/3-540-18419-8_13
[6] Emerson，E.A.，Clarke，E.M.：使用分支时间时序逻辑来合成同步骨架。计算机程序设计科学2（3），241-266（1982）。doi:10.1016/0167-6423（83）90017-5·Zbl 0514.68032号 ·doi:10.1016/0167-6423（83）90017-5
[7] Engelfriet，J.：Petri网的分支过程。《信息学报》28（6），575–591（1991）。doi:10.1007/BF01463946·Zbl 0743.68106号 ·doi:10.1007/BF01463946
[8] Fehnker，A.、van Glabbeek，R.J.、Höfner，P.、McIver，A.K.、Portmann，M.、Tan，W.L.：用于建模、验证和分析AODV的无线网状网络的进程代数。技术报告5513，NICTA，悉尼，澳大利亚（2013年）。http://arxiv.org/abs/1312.7645 ·Zbl 1352.68183号
[9] Genrich，H.，Stankiewicz-Wiechno，E.：网络理论一些基本概念的字典。收录：Brauer，W.（编辑）高级课程：网络理论与应用。LNCS，第84卷，第519-531页。斯普林格，海德堡（1980）·doi:10.1007/3-540-10001-6_39
[10] van Glabbeek，R.J.：ST-bisimulation语义的精化定理。收录：Broy，M.，Jones，C.B.（编辑）《IFIP TC2编程概念和方法工作会议论文集》。IFIP，第27-52页。斯普林格，海德堡（1990）
[11] van Glabbeek，R.J.：线性时间分支时间谱I；具体、连续过程的语义。收录于：Bergstra，J.A.、Ponse，A.、Smolka，S.A.（编辑）《过程代数手册》，第1卷，第3-99页。Elsevier（2001）。doi:10.1016/B978-044482830-9/50019-9·Zbl 1035.68073号 ·doi:10.1016/B978-044482830-9/50019-9
[12] van Glabbeek，R.J.：petri网的个体和集体标记解释。收录：Abadi，M.，de Alfaro，L.（编辑）CONCUR 2005。LNCS，第3653卷，第323–337页。斯普林格，海德堡（2005）·兹比尔1134.68459 ·doi:10.1007/11539452_26
[13] van Glabbeek，R.J.，Goltz，U.：并发系统动作和等价概念的细化。《信息学报》37、229–327（2001）。doi:10.1007/s00236000041·Zbl 0969.68081号 ·doi:10.1007/s002360000041
[14] van Glabbeek，R.J.，Höfner，P.：CCS：这不公平！。《信息学报》52（2–3），175–205（2015）。doi:10.1007/s00236-015-0221-6·Zbl 1327.68171号 ·doi:10.1007/s00236-015-0221-6
[15] van Glabbeek，R.J.，Höfner，P.：《过程代数中的进步、公平和正义》（2015）。http://arxiv.org/abs/1501.03268
[16] van Glabbeek，R.J.，Vaandrager，F.W.：并发代数理论的Petri网模型。收录人：de Bakker，J.W.，Nijman，A.J.，Treleaven，P.C.（编辑）Proc。巴黎。LNCS，第259卷，第224-242页。斯普林格，海德堡（1987）·Zbl 0633.68054号 ·doi:10.1007/3-540-17945-3_13
[17] van Glabbeek，R.J.，Vaandrager，F.W.：分裂之间的差异\[n个\]和\[n\mathord+1\]信息与计算。136(2), 109–142 (1997). doi:10.1006/inco.1997.2634·Zbl 0889.68055号 ·doi:10.1006/inco.1997.2634
[18] Goltz，U.，Mycroft，A.：关于CCS和Petri网的关系。收录人：Paredaens，J.（ed.）Proceedings\[11^{th}\]ICALP公司。LNCS，第172卷，第196-208页。斯普林格，海德堡（1984）·Zbl 0562.68049号 ·doi:10.1007/3-540-13345-318
[19] Goltz，U.，Reisig，W.：Petri网的非顺序行为。信息与控制57（2–3），125–147（1983）。doi:10.1016/S0019-9958（83）80040-0·兹伯利0551.68050 ·doi:10.1016/S0019-9958（83）80040-0
[20] Hoare，C.A.R.：通信顺序过程。普伦蒂斯·霍尔（Prentice Hall），恩格尔伍德悬崖（Englewood Cliffs）（1985）·Zbl 0637.68007号
[21] Loogen，R.，Goltz，U.：用事件结构建模非确定性并发过程。基础信息学14（1），39–74（1991）·Zbl 0717.68028号
[22] Mazurkiewicz，A.W.，Ochmanski，E.，Penczek，W.：并发系统和必然性。TCS 64（3），281-304（1989）。doi:10.1016/0304-3975（89）90052-2·Zbl 0675.68015号 ·doi:10.1016/0304-3975（89）90052-2
[23] Meseguer，J.，Montanari，U.，Sassone，V.：关于位置/转换Petri网的语义。计算机科学中的数学结构7（4），359–397（1997）。doi:10.1017/S0960129597002314·Zbl 0876.68072号 ·doi:10.1017/S0960129597002314
[24] Milner，R.：并发进程的操作和代数语义。摘自：van Leeuwen，J.（编辑）《理论计算机科学手册》，第19章。Elsevier Science Publishers B.V.（北荷兰），第1201–1242页（1990年）。或者参见《通信与并发》，普伦蒂斯·霍尔，恩格尔伍德·克利夫斯，其早期版本是《通信系统演算》。LNCS，第92卷。斯普林格（1980）。doi:10.1007/3-540-10235-3·doi:10.1007/3-540-10235-3
[25] Nielsen，M.，Plotkin，G.D.，Winskel，G.：Petri网，事件结构和域，第一部分，TCS 13（1），85–108（1981）。doi:10.1016/0304-3975（81）90112-2·Zbl 0452.68067号 ·doi:10.1016/0304-3975（81）90112-2
[26] Olderog，E.-R.：CCSP的操作Petri网语义。收录：Rozenberg，G.（编辑）《Petri网进展》1987。LNCS，第266卷，第196-223页。斯普林格，海德堡（1987）·doi:10.1007/3-540-18086-9_27
[27] Olderog，E.-R.：网络、术语和公式：并发过程的三种观点及其关系。Theor剑桥丛书。公司。第23章。剑桥大学出版社（1991）·Zbl 0741.68002号 ·文件编号：10.1017/CBO9780511526589
[28] Olderog，E.-R.，Hoare，C.A.R.：面向规范的通信过程语义。《信息学报》23，9–66（1986）。doi:10.1007/BF00268075·兹伯利0569.68019 ·doi:10.1007/BF00268075
[29] Petri，C.A.：非连续过程。内部报告GMD-ISF-77.05，GMD，St.Augustin（1977）
[30] 普洛金，G.D.：操作语义学的结构方法。《逻辑与代数编程杂志》60–61、17–139（2004）。doi:10.1016/j.jlap.2004.05.001。最初出现于1981年·Zbl 1082.68062号 ·doi:10.1016/j.jlap.2004.05.001
[31] 普努利：程序的时序逻辑。摘自：《计算机科学基础》（FOCS 1977），第46-57页。IEEE（1977）。doi:10.1109/SFCS.1977.32·doi:10.1109/SFCS.1977.32
[32] Rabinovich，A.，Trakhtenbrot，B.A.：行为结构和网络。《基础信息》11（4），357–404（1988）·Zbl 0657.68068号
[33] Reisig，W.：Petri网——简介。EATCS理论计算机科学专著，第4卷。斯普林格（1985）。doi:10.1007/978-3-642-69968-9·Zbl 0555.68033号 ·doi:10.1007/978-3-642-69968-9
[34] Reisig，W.：理解Petri网-建模技术，分析方法，案例研究。施普林格（2013）。数字对象标识代码：10.1007/978-3-642-33278-4·Zbl 1278.68222号 ·数字对象标识代码：10.1007/978-3-642-33278-4
[35] Winskel，G.：Petri网上态射的新定义。收录：Fontet，M.，Mehlhorn，K.（编辑）STACS 84。LNCS，第166卷，第140-150页。斯普林格，海德堡（1984）·Zbl 0559.68058号 ·数字对象标识代码：10.1007/3-540-12920-0_13
[36] Winskel，G.：事件结构。在：Brauer，W.，Reisig，W.，Rozenberg，G.（编辑）《Petri网：对其他并发模型的应用和关系》中。LNCS，第255卷，第325–392页。斯普林格，海德堡（1986）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。