罗布·范格拉贝克 确保分布式系统的活性属性：开放问题。 （英语） Zbl 1435.68216号 J.日志。阿尔盖布。方法计划。 109，文章ID 100480，19 p.（2019）. 摘要：为了建立分布式系统的活性属性，通常需要进行公平性假设，但在许多情况下，这些假设会导致错误的结论。本文提出了一个研究议程，旨在为并发理论奠定基础，该理论用于确保分布式系统的活性属性，而无需做出公平假设。该理论将涵盖进程代数、时序逻辑和语义模型。该议程还包括开发一种方法和工具，以便将该理论成功应用于实际分布式系统的规范、分析和验证。当代过程代数和时间逻辑无法区分系统，至少在假设的情况下，其中一个系统具有关键的活性属性，而另一个系统没有公正这是一个强大的进步属性，但不假设公平。建立一个替代框架包括放弃识别强双相似系统，发明新的归纳原理，为过程代数开发新的公理基础，为操作语义开发新的同余格式，以及创建时间和概率的匹配处理。在缺乏公平性假设的情况下，即使是像公平调度程序或互斥协议这样的简单系统，也无法在标准进程代数（或Petri网）中准确指定。因此，这项工作涉及对适当的语言或模型扩展及其表达能力的研究。 引用于7文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 64岁以下 分布式系统 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：FDR3公司；Uppaal公司；自旋蛋白；LTSmin公司；CADP公司 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}，J.Log。阿尔盖布。方法计划。109，文章ID 100480，19 p.（2019；Zbl 1435.68216） 全文： 内政部 arXiv公司 参考文献： [1] Austry，D。；Boudol，G.，Algèbre de processus et synchronizations，Theor。计算。科学。，30, 1, 91-131 (1984) ·兹伯利0533.68026 [2] Apt，K.R。；Francez，N。；Katz，S.，《评估分布式编程语言的公平性》，Distribute.Compute。，2, 4, 226-241 (1988) ·Zbl 0659.68023号 [3] （Baeten，J.C.M.，《过程代数的应用》，《剑桥理论计算机科学丛书》，第17卷（1990年），剑桥大学出版社）·Zbl 0716.68001号 [4] Baeten，J.C.M。；Bergstra，J.A。；Klop，J.W.，《论库门公平抽象规则的一致性》，Theor。计算。科学。，51, 1/2, 129-176 (1987) ·Zbl 0621.68010号 [5] Baeten，J.C.M。；巴斯滕，T。；Reniers，M.A.，《过程代数：通信过程的等式理论》（2010），剑桥大学出版社·Zbl 1234.68001号 [6] 布蒂，F。；卡利斯托·德·多纳托，M。；Corradini，F。；Di Berardini，M.R。；Vogler，W.，《使用FASE对MUTEX算法进行自动分析》，（D'Agostino，G.；La Torre，S.，Proc.GandALF’11。程序。GandALF’11，EPTCS，第54卷（2011），开放出版协会），45-59·Zbl 1457.68181号 [7] Boudol，G.等人。；卡斯特拉尼，I。；轩尼诗，M。；Kiehn，A.，《局部过程理论》，Form.Asp。计算。，6, 2, 165-200 (1994) ·Zbl 0806.68070号 [8] 贝尔曼，G。；大卫·A。；Larsen，K.G.，《Uppaal教程》，（Bernardo，M.；Corradini，F.，《实时系统设计的形式方法修订讲座》，《关于实时系统设计形式方法的修订讲座》LNCS，第3185卷（2004），Springer），200-236·Zbl 1105.68350号 [9] 布鲁姆，B。；福克金，W.J。；van Glabbeek，R.J.，修饰跟踪语义的前同余格式，ACM Trans。计算。日志。，5, 1, 26-78 (2004) ·Zbl 1367.68209号 [10] 波尔，R.N。；Groote，J.F.，《过渡系统规范中否定前提的含义》，J.ACM，43，5，863-914（1996）·兹伯利0889.68113 [11] Borgsteröm，J。；Gutkovas，R。；罗德，I。；Victor，B.，《psi-calculi工作台：应用过程计算的通用工具》，ACM-Trans。嵌入。计算。系统。，14, 1, 9:1-9:25 (2015) [12] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.ACM，31，3，560-599（1984）·Zbl 0628.68025号 [13] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪双刺激》，美国医学会杂志，42，1232-268（1995）·Zbl 0886.68027号 [14] 本特森，J。；约翰逊，M。；帕罗，J。；Victor，B.，Psi结石：具有标称数据和逻辑的移动进程框架，Log。方法计算。科学。，7, 1 (2011) ·Zbl 1213.68399号 [15] Bergstra，J.A。；Klop，J.W.，《通信过程代数》，（de Bakker，J.W.；Hazewinkel，M.；Lenstra，J.K.，《数学与计算机科学》，《数学与计算机科学》，CWI专著，第1卷（1986年），北荷兰：北荷兰阿姆斯特丹），89-138·Zbl 0605.68013号 [16] Bergstra，J.A。；Klop，J.W.，《利用进程代数验证交替位协议》，（Bibel，W.；Jantke，K.P.，《软件系统规范和综合的数学方法》85。软件系统规格说明和综合的数学方法’85，LNCS，第215卷（1986），Springer），9-23·Zbl 0595.68024号 [17] 拜尔，C。；Katoen，J.，《模型检验原理》（2008），麻省理工出版社·Zbl 1179.68076号 [18] Bloom，B.，《弱互模拟的结构操作语义》，Theor。计算。科学。，146, 25-68 (1995) ·Zbl 0873.68130号 [19] Boudol，G.，关于过程代数计算的注释，（Apt，K.，并发系统的逻辑和模型。并发系统的逻辑学和模型，北约ASI系列，第F13卷（1985），Springer），261-303·Zbl 0578.68025号 [20] Brinksma，E。；Rensink，A。；Vogler，W.，公平测试，（Lee，I.；Smolka，S.，《第六届并发理论国际会议论文集》，《第六届并发理论国际会议论文集》，CONCUR'95。第六届并行理论国际会议论文集。第六届并行理论国际会议论文集，CONCUR’95，LNCS，第962卷（1995），Springer），313-327 [21] Brinksma，E。；Rensink，A。；Vogler，W.，《公平测试的应用》，（Gotzhein，R.；Bredereke，J.，《IFIP TC6 WG6.1国际形式描述技术会议论文集IX:理论、应用和工具/协议规范、测试和验证》，第十六卷，《IFIP会议论文集69》（1996），查普曼和霍尔出版社，145-160 [22] Bartlett，K.A。；斯堪的纳维亚省。；Wilkinson，P.T.，关于半双工链路上可靠的全双工传输的说明，Commun。美国医学会，12260-261（1969） [23] Baeten，J.C.M。；Weijland，W.P.，《过程代数》，《剑桥理论计算机科学丛书》，第18卷（1990年），剑桥大学出版社·Zbl 0716.68002号 [24] Corradini，F。；Di Berardini，M.R。；Vogler，W.，《系统计算中动作的公平性》，《信息学报》。，43, 2, 73-130 (2006) ·Zbl 1097.68087号 [25] Corradini，F。；Di Berardini，M.R。；Vogler，W.，系统计算中组件的公平性，Theor。计算。科学。，356, 3, 291-324 (2006) ·Zbl 1092.68065号 [26] Corradini，F。；迪贝拉尔迪尼，M.R。；Vogler，W.，公平进程代数中互斥算法的活力，Acta Inform。，46, 3, 209-235 (2009) ·Zbl 1166.68030号 [27] Corradini，F。；Di Berardini，M.R。；Vogler，W.，《具有非阻塞阅读的过程代数中的时间和公平》（Nielsen，M.；Kucera，a.；Miltersen，P.B.；Palamidessi，C.；Tuma，P.；Valencia，F.D.，《计算机科学理论与实践》，SOFSEM'09）。计算机科学理论与实践。《计算机科学的理论与实践》，SOFSEM'09，LNCS，第5404卷（2009），Springer），193-204·Zbl 1206.68213号 [28] 克利夫兰，R。；吕特根，G。；Natarajan，V.，《过程代数的优先级》（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数学手册》（2001），Elsevier），711-765，第12章·Zbl 1062.68079号 [29] 科斯塔·G。；Stirling，C.，通信系统的公平微积分，Acta Inform。，21, 417-441 (1984) ·Zbl 0538.68014号 [30] 科斯塔·G。；Stirling，C.，CCS中的弱公平和强公平，Inf.Compute。，73, 3, 207-244 (1987) ·Zbl 0618.68026号 [31] 克利夫兰，R。；Sokolsky，O.，《有限状态系统的等价性和预序检查》（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），Elsevier），391-424，第6章·Zbl 1020.68062号 [32] 戴瑟林，V。；van Glabbeek，R.J。；Höfner，P.，用信号过程代数分析互斥，（Peters，K。；Tini，S.，Proceedings Combined 24th International Workshop on Expressiveity in Concurrency and 14th Workshop onStructural Operational Semantics论文集。论文集第24届并发表达性国际研讨会和第14届结构操作语义学研讨会，EPTCS，第255卷（2017），开放出版协会，18-34·Zbl 1483.68227号 [33] 邓，Y。；van Glabbeek，R.J。；轩尼诗，M。；Morgan，C.C.，有限概率过程的测试预订单特征，Log。方法计算。科学。，4, 4, 4 (2008) ·Zbl 1161.68035号 [34] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theor。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号 [35] 艾默生，E.A。；Clarke，E.M.，《使用分支时间时序逻辑合成同步骨架》，科学。计算。程序。，2, 3, 241-266 (1982) ·Zbl 0514.68032号 [36] Fehnker，A。；van Glabbeek，R.J。；Höfner，P。；McIver，A.K。；波特曼，M。；Tan，W.，《无线网状网络的进程代数》，（Seidl，H.，《编程语言和系统：第21届欧洲编程研讨会论文集》。《编程语言与系统：第二十一届欧洲编程会议论文集》，ESOP’12。编程语言与系统：第21届欧洲编程研讨会论文集。编程语言与系统：第21届欧洲编程研讨会论文集，ESOP’12，LNCS，第7211卷（2012年），Springer），295-315·Zbl 1352.68183号 [37] Fehnker，A。；van Glabbeek，R.J。；Höfner，P。；McIver，A.K。；波特曼，M。；Tan，W.L.，《用于AODV建模、验证和分析的无线Mesh网络进程代数》（2013），NICTA，技术报告5513 [38] 福克金，W.J。；van Glabbeek，R.J。；de Wind，P.，《除法与同余：从模态公式的分解到分支和（η）-双相似性的保持》，Inf.Compute。，214, 59-85 (2012) ·Zbl 1277.68182号 [39] Fokkink，W.J.，过程代数导论，理论计算机科学文本，EATCS系列（2000），Springer·Zbl 0941.68087号 [40] Fokkink，W.J.，根分支互模拟作为同余，J.Compute。系统。科学。，60, 1, 11-27 (2000) [41] 吉布森-罗宾逊，T。；Armstrong，P.J。；布尔加科夫，A。；Roscoe，A.W.，FDR3-CSP的现代精化检查器，（Al brahám，E.；Havelund，K.，《第20届系统构建和分析工具和算法国际会议论文集》，《第二十届系统构建与分析工具与算法国际会议文献集》，TACAS’14。第20届系统构建和分析工具和算法国际会议论文集。《第20届系统构建和分析工具和算法国际会议论文集》，TACAS’14，LNCS，第8413卷（2014），Springer），187-201·Zbl 1392.68300号 [42] van Glabbeek，R.J。；Goltz，U.，并发系统动作和等价概念的细化，Acta Inform。，37, 229-327 (2001) ·Zbl 0969.68081号 [43] van Glabbeek，R.J。；美国高尔茨。；Schicke-Uffmann，J.-W.，《关于可分配性的表征》，Log。方法计算。科学。，9, 3, 17 (2013) ·Zbl 1274.68261号 [44] van Glabbeek，R.J。；Höfner，P.，CCS：这不公平！公平调度程序无法在类似CCS的语言中实现，即使在进行中和某些公平假设，Acta Inform。，52, 2-3, 175-205 (2015) ·Zbl 1327.68171号 [45] van Glabbeek，R.J。；Höfner，P.，《过程代数中的进步、公平和正义》（2015），NICTA:NICTA悉尼，澳大利亚，技术报告8501 [46] van Glabbeek，R.J。；Höfner，P.，《进步、公正和公平》（调查论文），ACM Compute。Surv公司。（2019），出版中 [47] van Glabbeek，R.J.，《高维自动机的双向模拟》（1991），电子邮件，1991年7月7日 [48] van Glabbeek，R.J.，《线性时间-分支时间谱》，II：无声移动序列系统的语义（扩展抽象），（Best，E.，《第四届并发理论国际会议论文集》，第四届国际并发理论会议论文集，CONCUR’93。第四届并行理论国际会议论文集。第四届并行理论国际会议论文集，CONCUR’93，LNCS，第715卷（1993），Springer），66-81 [49] van Glabbeek，R.J.，《关于ACP的表现力（扩展摘要）》，（Ponse，A.；Verhoef，C.；van Vlijmen，S.F.M.，《通信过程代数第一次研讨会论文集》，ACP’94，《计算研讨会》（1994），Springer），188-217 [50] van Glabbeek，R.J.，《线性时间-分支时间谱》，I：具体顺序过程的语义，（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》，第1章（2001），爱思唯尔），3-99·Zbl 1035.68073号 [51] van Glabbeek，R.J.，《关于安全性和活性特性的最粗糙的先决条件》（Calude，C.S.；Sassone，V.，《第六届IFIP TC 1/WG 2.2国际理论计算机科学会议论文集》（TCS 2010），作为2010年世界计算机大会的一部分举行。第6届IFIP TC 1/WG 2.2国际理论计算机科学会议（TCS 2010），作为2010年世界计算机大会的一部分举行，IFIP，第323卷（2010），Springer，32-52·Zbl 1202.68268号 [52] van Glabbeek，R.J.，《双向模拟》，（Padua，D.，《并行计算百科全书》（2011），施普林格出版社），136-139·Zbl 1231.68001号 [53] van Glabbek，R.J.，关于弱互模拟的冷同余格式，Theor。计算。科学。，412, 28, 3283-3302 (2011) ·Zbl 1216.68199号 [54] van Glabbeek，R.J.，《编码和表达的缪斯》，（Luttik，B.；Reniers，M.A.，Proceedings EXPRESS/SOS’19。Proceedings EXPRESS/SOS’19，EPTCS，第89卷（2012），开放出版协会），81-98·Zbl 1459.68149号 [55] van Glabbeek，R.J.，《结构保持双相似性，支持CCSP的操作petri网语义》（Meyer，R..；Platzer，A。；Wehrheim，H.，《正确系统设计程序——纪念Ernst-Rüdiger Olderog 60岁生日研讨会》。《正确系统设计会议录-纪念Ernst-Rüdiger Olderog 60岁生日研讨会》，LNCS，第9360卷（2015），Springer），99-130·Zbl 1444.68125号 [56] van Glabbeek，R.J.，递归的精益和全同余格式，（ACM/IEEE计算机科学逻辑年度研讨会论文集）。美国计算机学会/电子工程师协会计算机科学逻辑年度研讨会论文集，LICS，第2017卷（2017），IEEE计算机学会出版社·Zbl 1458.68134号 [57] van Glabbeek，R.J.，《公正：捕获活性属性的完整性标准》（扩展抽象），（Boja nn czyk，M.；Simpson，a.，Proc.FoSSaCS’19。程序。FoSSaCS’19，Data61，澳大利亚悉尼CSIRO。程序。FoSSaCS’19。程序。FoSSaCS’19，Data61，CSIRO，澳大利亚悉尼，LNCS，第11425卷（2019），Springer），505-522，技术报告·Zbl 1524.68223号 [58] van Glabbeek，R.J.，《过程的奖励测试等效性》（Boreale，M.；Corradini，F.；Loreti，M.）。；Pugliese，R.，并发和分布式编程的模型、语言和工具，Rocco De Nicola 65岁生日致辞。并发和分布式编程的模型、语言和工具，在Rocco De Nicola 65岁生日之际献给他的论文，LNCS，第11665卷（2019），Springer），45-70·Zbl 1416.68004号 [59] 加拉维勒，H。；朗·F。；Mateescu，R。；Serwe，W.，CADP 2010：用于构建和分析分布式过程的工具箱，（Abdulla，P.a.；Leino，K。R.M.，《第17届系统构建和分析工具和算法国际会议论文集》。第17届系统构建和分析工具和算法国际会议论文集，TACAS’11。第17届系统构建和分析工具和算法国际会议论文集。第17届系统构建和分析工具和算法国际会议论文集，TACAS’11，LNCS，第6605卷（2011），Springer），372-387·Zbl 1316.68074号 [60] van Glabbeek，R.J。；Luttik，B。；Trčka，N.，分支双相似性与显式发散，Fundam。通知。，93, 4, 371-392 (2009) ·兹比尔1183.68404 [61] 美国高尔茨。；Mycroft，A.，《关于CCS和Petri网的关系》，（Paredaens，J.，Proceedings 11th ICALP.Proceeding 11th ICELP.，LNCS，vol.172（1984），Springer），196-208·Zbl 0562.68049号 [62] Groote，J.F。；Mousavi，M.R.，《通信系统建模与分析》（2014），麻省理工学院出版社·Zbl 1353.68006号 [63] Groote，J.F。；穆萨维，M.R。；Reniers，M.A.，SOS规则格式的层次结构，Electron。注释Theor。计算。科学。，156, 1, 3-25 (2006) ·Zbl 1273.68206号 [64] Gorla，D.，《过程计算可编码性和分离结果的统一方法》，Inf.Comput。，208, 9, 1031-1053 (2010) ·Zbl 1209.68336号 [65] Groote，J.F.，具有负前提的过渡系统规范，Theor。计算。科学。，118, 2, 263-299 (1993) ·Zbl 0778.68057号 [66] van Glabbeek，R.J。；Vaandrager，F.W.，并发代数理论的Petri网模型（扩展抽象），（de Bakker，J.W.；Nijman，A.J.；Trelevan，P.C.，Proceedings PARLE，Parallel Architectures and Languages Europe，Vol.II：Parallel Languages.Proceeding PARLE、Parallel Architectures&Languages-Europe、Vol。II：并行语言，LNCS，第259卷（1987），Springer），224-242·Zbl 0633.68054号 [67] Groote，J.F。；Vaandrager，F.W.，《结构化操作语义和互模拟作为同余》，Inf.Compute。，100, 2, 202-260 (1992) ·Zbl 0752.68053号 [68] van Glabbeek，R.J。；Vaandrager，F.W.，过程代数的模规范，Theor。计算。科学。，113, 2, 293-348 (1993) ·Zbl 0770.68092号 [69] van Glabbeek，R.J。；Weijland，W.P.，双模拟语义中的分支时间和抽象，J.ACM，43，3555-600（1996），部分可在·Zbl 0882.68085号 [70] Hoare，C.A.R.，《沟通顺序过程》（1985），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖》·Zbl 0637.68007号 [71] Holzmann，G.J.，《SPIN模型检查器-底漆和参考手册》（2004），Addison-Wesley [72] Henzinger，T.A。；Rajamani，S.K.，Fair bisimulation，（Graf，S.；Schwartzbach，M.I.，《第六届系统构建与分析工具和算法国际会议论文集》，《第6届系统构建和分析工具与算法国际会议文献集》，TACAS'00。第六届系统构建和分析工具和算法国际会议论文集。第六届系统构建和分析工具和算法国际会议论文集，TACAS'00，LNCS，第1785卷（2000），Springer），299-314·Zbl 0960.68121号 [73] 康德，G。；Laarman，A。；Meijer，J。；范德波尔，J。；布洛姆，S。；van Dijk，T.，LTSmin:高性能语言无关模型检查，（Baier，C.；Tinelli，C.，第21届系统构建和分析工具和算法国际会议论文集。第21届系统构建和分析工具和算法国际会议论文集，TACAS’15。第21届系统构建和分析工具和算法国际会议论文集。《第21届系统构建和分析工具和算法国际会议论文集》，TACAS’15，LNCS，第9035卷（2015），Springer），692-707 [74] Kwiatkowska，M。；诺曼，G。；Parker，D.，《概率模型检验的进展和挑战》，（第48届Allerton通信、控制和计算年会（2010年），IEEE出版社），1691-1698 [75] Kuiper，R。；de Roever，W.-P.，《时序逻辑框架中CSP的公平性假设》（Björner，D.，《编程概念的形式化描述II》（1983），北荷兰），159-170·Zbl 0512.68022号 [76] Kindler，E。；Walter，R.，Mutex需要公平，信息处理。莱特。，62, 1, 31-39 (1997) ·Zbl 1336.68182号 [77] Lamport，L.，《证明多进程程序的正确性》，IEEE Trans。柔和。工程师，3，2，125-143（1977）·Zbl 0349.68006号 [78] Lamport，L.，Specifying Systems，The TLA+Language and Tools for Hardware and Software Engineers（2002），Addison-Wesley出版社 [79] 莱曼·D·J。；普努利，A。；Stavi，J.，《公正、正义和公平：并发终止的伦理》，（Even，S.；Kariv，O.，Automata，《语言和编程》，ICALP；Automata《语言和程序》，ICAAP，《语言与编程》，Automata-《语言与程序》，《ICALP，LNCS》，第115卷（1981），Springer），264-277·Zbl 0468.68026号 [80] Lynch，W.C.，《通过半双工电话线进行可靠的全双工文件传输》，Commun。ACM，11407-410（1968年） [81] Lynch，N.A.，《分布式算法》（1996），Morgan Kaufmann·Zbl 0877.68061号 [82] Milner，R.，《通信与并发》，计算机科学PHI系列（1989），Prentice-Hall·Zbl 0683.68008号 [83] Milner，R.，《通信和移动系统-Pi-Calculus》（1999），剑桥大学出版社·Zbl 0942.68002号 [84] McIver，A.K。；Morgan，C.，《顺序程序中的恶魔、天使和无界概率选择》，《信息学报》。，37, 4/5, 329-354 (2001) ·Zbl 0971.68027号 [85] Mazurkiewicz，A.W。；Ochmanski，E。；Penczek，W.，《并发系统和必然性》，Theor。计算。科学。，第64,3281-304页（1989年）·Zbl 0675.68015号 [86] Morgan，C.，《基于规范的编程》，计算机科学国际丛书（1994），Prentice-Hall·Zbl 0829.68083号 [87] Natarajan，V。；Cleaveland，R.，《分歧与公平测试》，（Fülöp，Z.；Gécseg，F.，《第22届国际自动化、语言与编程学术讨论会论文集》，第22届自动技术、语言与程序国际学术讨论会，ICALP’95。第22届国际自动化、语言和编程学术讨论会论文集。第22届国际自动化学术讨论会论文集，语言与编程，ICALP’95，LNCS，第944卷（1995），Springer），648-659·兹比尔1412.68155 [88] Olderog，E.-R.，《网络、术语和公式：并发过程的三种观点及其关系》，《剑桥理论计算机科学丛书》，第23卷（1991年），剑桥大学出版社·Zbl 0741.68002号 [89] Perkins，C.E。；Belding-Royer，E.M。；Das，S.，Ad Hoc On-Demand Distance Vector（AODV）Routing（2003），网络工作组，RFC 3561 [90] Pnueli，A.，程序的时序逻辑，（计算机科学基础.计算机科学基础，FOCS’77（1977），IEEE），46-57 [91] Pratt，V.R.，《用几何建模并发性》，第18届ACM编程语言原理年会（1991年），311-322 [92] Reisig，W.，理解Petri网-建模技术、分析方法、案例研究（2013），施普林格·Zbl 1278.68222号 [93] 罗斯科，A.W.，《并行的理论与实践》（1997），普伦蒂斯·霍尔出版社 [94] Segala，R.，《概率自动机测试》，（第七届并行理论国际会议论文集，第七届并发理论国际会议文献集，CONCUR’96。第七届并行理论国际会议论文集。第七届并行理论国际会议论文集，CONCUR’96，LNCS，第1119卷（1996），Springer），299-314·Zbl 1514.68112号 [95] de Simone，R.，Meije-SCCS中的高级同步装置，Theor。计算。科学。，37, 245-267 (1985) ·Zbl 0598.68027号 [96] Sangiorgi，D。；Walker，D.，《（π）-微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号 [97] Ulidowski，I.，《可观测过程的等价性》，（第七届计算机科学逻辑年会论文集，第七届计算科学逻辑年会刊论文集，LICS’92（1992），IEEE计算机学会），148-159 [98] Ulidowski，I.，《测试预订单和De Simone过程语言的有限公理系统》，Theor。计算。科学。，239, 1, 97-139 (2000) ·Zbl 0944.68125号 [99] 乌利多夫斯基，I。；Phillips，I.C.C.，用于分支和紧急互模拟的有序SOS过程语言，Inf.Compute。，178, 1, 180-213 (2002) ·Zbl 1012.68116号 [100] 乌利多夫斯基，I。；Yuen，S.，根渴望互模拟的过程语言，（Palamidessi，C.，《第11届并发理论国际会议论文集》，第11届国际并发理论会议论文集，CONCUR'00。第11届并发理论国际会议论文集。第11届并行理论国际会议论文集，CONCUR’00，LNCS，第1877卷（2000），Springer），275-289·Zbl 0999.68143号 [101] Verhoef，C.，《带谓词和负前提的结构化操作语义的同余定理》，Nord.J.Compute。，2, 2, 274-302 (1995) ·Zbl 0839.68060号 [102] Vogler，W.，《Petri网的模块结构和部分顺序语义》，LNCS，第625卷（1992），Springer·Zbl 1293.68015号 [103] Vogler，W.，《异步系统的效率，读取弧和MUTEX问题》，Theor。计算。科学。，275, 1-2, 589-631 (2002) ·Zbl 1026.68099号 [104] Walker，D.J.，《相互模拟与发散》，《信息计算》。，85, 2, 202-241 (1990) ·兹比尔0713.68036 [105] Winskel，G.，《Petri网上态射的新定义》（Fontet，M.；Mehlhorn，K.，Proceedings STACS 84）。STACS 84，LNCS，第166卷（1984），Springer），140-150·Zbl 0559.68058号 [106] Winskel，G.，《事件结构》（Brauer，W.；Reisig，W.，Rozenberg，G.），《Petri网：与其他并发模型的应用和关系，Petri网的进展》（1987）。（Brauer，W.；Reisig，W.，Rozenberg，G.，《Petri网：与其他并发模型的应用和关系，Petri网的进展》（1987）），第二部分。（Brauer，W.；Reisig，W.，Rozenberg，G.，《Petri网：与其他并发模型的应用和关系》，Petri网进展（1987））。（Brauer，W.；Reisig，W.，Rozenberg，G.，《Petri网：与其他并发模型的应用和关系，Petri网的进展》（1987）），第二部分，LNCS，第255卷，325-392（1986），Springer·Zbl 0626.68022号 [107] Yi，Wang；Larsen，K.G.，《测试概率和非确定性过程》（IFIP TC6/WG6.1第十二届协议规范、测试和验证国际研讨会论文集，IFIP事务C-8（1992），荷兰北部），47-61 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。