×

兹马思-数学第一资源

确保分布式系统的活跃性:开放性问题。(英语) Zbl公司 1435.68216
摘要:为了建立分布式系统的活性属性,通常需要进行公平性假设,但在许多情况下,它们会导致错误的结论。本文提出了一个研究议程,旨在为并发理论奠定基础,该理论可在不进行公平假设的情况下确保分布式系统的活跃性。这个理论将包括过程代数、时态逻辑和语义模型。议程还包括开发一种方法和工具,使这一理论能够成功地应用于实际分布式系统的规范、分析和验证。
当代的过程代数和时态逻辑无法区分一个具有关键活性性质的系统,而另一个则没有,至少在假设的情况下公正,一个强大的进步财产,但不假定公平。建立一个可替代的框架包括放弃识别强双相似系统,发明新的归纳原理,为过程代数开发新的公理基础,为操作语义开发新的同余格式,以及创建时间和概率的匹配处理。
在没有公平性假设的情况下,即使是像公平调度器或互斥协议这样的简单系统也不能在标准过程代数(或Petri网)中精确地指定。因此,这项工作涉及到对适当的语言或模型扩展及其表达能力的研究。
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68米14 分布式系统
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 澳大利亚D。;布多尔,G.,阿尔格è过程和同步,理论。计算机。科学,30,1,91-131(1984)·Zbl公司 533.68026
[2] 阿普特,K。R、 。;弗朗切斯,N。;Katz,S.,评估分布式编程语言的公平性,Distrib。计算机,2,4,226-241(1988)·Zbl公司 659.68023
[3] (Baeten,J。C、 过程代数的应用。过程代数的应用,剑桥理论计算机科学丛书,第17卷(1990),剑桥大学出版社)·Zbl公司 716.68001
[4] 贝顿,J。C、 米。;柏格斯特拉,J。A、 。;克洛普,J。W、 关于库曼公平抽象规则的一致性。计算机。科学,51,1/2,129-176(1987)·Zbl公司 621.68010
[5] 贝顿,贝顿。C、 米。;巴斯滕,T。;雷尼尔,M。A、 《过程代数:沟通过程的等式理论》(2010),剑桥大学出版社·Zbl公司 1234.68001
[6] 布蒂,F。;多纳托,M。;科拉迪尼,F。;迪贝拉迪尼,M。R、 。;Vogler,W.,用FASE自动分析互斥体算法,(D'Agostino,G。;拉托尔,南部,Proc。甘道夫11年。程序。甘道夫11年,EPTCS,第54卷(2011年),开放出版协会,45-59
[7] 布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;Kiehn,A.,《具有局部性、形式的过程理论》。Asp。计算机,6,2,165-200(1994)·Zbl公司 806.68070
[8] 贝尔曼,G。;大卫,A。;拉森,K。G、 ,关于乌帕尔的教程,(伯纳多,M。;Corradini,F.,修订了实时系统设计的形式化方法讲座。实时系统设计的形式化方法修订讲座,LNCS,卷3185(2004),Springer),200-236·Zbl公司 1105.68350
[9] 布鲁姆,B。;福金克,W。J、 。;范格拉贝克,R。J、 ,修饰跟踪语义的预配置格式,ACM Trans。计算机。日志,5,1,26-78(2004)·Zbl公司 1367.68209
[10] 波尔,R。N、 。;格罗特,J。F、 《过渡系统规范》中否定前提的含义。ACM,43,5863-914(1996年)·Zbl公司 889.68113
[11] 博格斯特öm、 J。;古特科瓦斯,R。;罗德赫,I。;Victor,B.,psi calculi workbench:应用过程计算的通用工具,ACM Trans。嵌入。计算机。系统,14,1,9:1-9:25(2015年)
[12] 布鲁克斯,S。D、 。;霍尔,C。A、 R。;罗斯科,A。W、 ,沟通顺序过程的理论,J。ACM,31,3560-599(1984年)·Zbl公司 628.68025
[13] 布鲁姆,B。;伊斯特拉尔。;梅耶,A。R、 ,无法追踪到相互刺激,J。ACM,42,1232-268(1995年)·Zbl公司 886.68027
[14] 本特森,J。;约翰逊,M。;帕罗,J。;Victor,B.,Psi calculi:a framework for mobile processes with normal data and logic,Log.Psi计算:一个移动进程的框架,具有标称数据和逻辑。方法计算。科学,7,1(2011)·Zbl公司 1213.68399
[15] 柏格斯特拉,J。A、 。;克洛普,J。W、 《通信过程代数》,(de Bakker,J。W、 。;哈兹文克尔,M。;伦斯特拉,J。K、 数学和计算机科学。数学与计算机科学,CWI专著,第1卷(1986年),北荷兰:北荷兰阿姆斯特丹,89-138·Zbl公司 605.68013
[16] 柏格斯特拉,J。A、 。;克洛普,J。W、 用过程代数验证交替位协议(Bibel,W。;詹特克,K。P、 《软件系统规范与综合的数学方法》85。软件系统规范和综合的数学方法'85,LNCS,第215卷(1986),Springer),9-23·Zbl公司 595.68024
[17] 拜尔,C。;《模型检验原理》(2008),麻省理工学院出版社
[18] Bloom,B.,《弱交互的结构操作语义学》,理论。计算机。1995年第146-25页·Zbl公司 873.68130
[19] Boudol,G.,《过程代数计算的注记》(Apt,K.,《并发系统的逻辑与模型》。并发系统的逻辑和模型,北约ASI系列,第F13卷(1985年),斯普林格,261-303·Zbl公司 578.68025
[20] 布林克斯马E。;伦辛克,A。;沃格勒,W.,公平测试,(李,I。;Smolka,S.,第六届并发理论国际会议论文集。第六届并发理论国际会议论文集,CONCUR'95。第六届并发理论国际会议论文集。第六届并发理论国际会议论文集,CONCUR'95,LNCS,第962卷(1995),Springer,313-327
[21] 布林克斯马E。;伦辛克,A。;《公平测试的应用》,(Gotzhein,R。;Bredereke,J.,IFIP TC6 WG6.1国际形式描述技术会议论文集IX:理论、应用和工具/协议规范、测试和验证XVI,IFIP会议记录69(1996),Chapman&Hall,145-160
[22] 巴特利特,K。A、 。;斯坎特伯里,R。A、 。;威尔金森,P。T、 半双工链路上可靠全双工传输的注记。ACM,12260-261(1969年)
[23] 贝顿,J。C、 米。;韦杰兰,W。P、 《过程代数》,剑桥理论计算机科学丛书,第18卷(1990年),剑桥大学出版社·Zbl公司 716.68002
[24] 科拉迪尼,F。;迪贝拉迪尼,M。R、 。;Vogler,W.,《系统计算中行为的公平性》,第43、2、73-130页(2006年)·Zbl公司 1097.68087
[25] 科拉迪尼,F。;迪贝拉迪尼,M。R、 。;《系统计算中元件的公平性》,理论。计算机。科学,356,3,291-324(2006年)·Zbl公司 1092.68065
[26] 科拉迪尼,F。;迪贝拉迪尼,M。R、 。;Vogler,W.,《公平进程代数中互斥体算法的活性》,Acta Inform.,46,3,209-235(2009)·Zbl公司 1166.68030
[27] 科拉迪尼,F。;迪贝拉迪尼,M。R、 。;Vogler,W.,《非阻塞阅读过程代数中的时间与公平性》(Nielsen,M。;库塞拉,A。;米尔特森,P。B、 。;帕拉米德西,C。;图马,P。;瓦伦西亚,F。D、 计算机科学理论与实践。计算机科学理论与实践,2009年版。计算机科学理论与实践。计算机科学理论与实践,SOFSEM'09,LNCS,第5404卷(2009),Springer),193-204·Zbl公司 1206.68213
[28] 克里夫兰,R。;üttgen,G。;Natarajan,V.,过程代数中的优先权,(Bergstra,J。A、 。;庞塞,A。;斯莫尔卡,S。A、 《过程代数手册》(2001),爱思唯尔,711-765,第12章·Zbl公司 1062.68079
[29] 科斯塔,G。;斯特林,C.,《通信系统的公平演算》,《信息学报》,21417-441(1984)·Zbl公司 538.68014
[30] 科斯塔,G。;斯特林,C.,《CCS中的弱公平和强公平》,信息计算,73,3,207-244(1987)·Zbl公司 618.68026
[31] 克里夫兰,R。;Sokolsky,O.,有限状态系统的等价性和预序检验,(Bergstra,J。A、 。;庞塞,A。;斯莫尔卡,S。A、 《过程代数手册》(2001),爱思唯尔,391-424,第6章·Zbl公司 1020.68062
[32] 戴尔恩,V。;范格拉贝克,R。J、 。;Höfner,P.,利用过程代数和信号分析互斥,(Peters,K。;Tini,S.,论文集第24届并发表达性国际研讨会和第14届结构操作语义学研讨会相结合。《第14期开放式语义学联合研讨会》(第14期,第24卷),第24期《国际操作语义学联合研讨会论文集》,第24卷
[33] 邓,Y。;范格拉贝克,R。J、 。;轩尼诗,M。;摩根,C。C、 ,描述有限概率过程的测试预订单,Log。方法计算。科学,4,4,4(2008)·Zbl公司 1161.68035
[34] 德尼科拉,R。;Hennessy,M.,工艺等效性试验,理论。计算机。科学,34,83-133(1984)·Zbl公司 985.68518
[35] 爱默生E。A、 。;克拉克,E。M、 利用分支时间时序逻辑合成同步骨架Sci。计算机。程序,2,3,241-266(1982年)·Zbl公司 514.68032
[36] 费恩克,A。;范格拉贝克,R。J、 。;Hö弗纳,P。;麦克维尔,A。K、 。;波特曼,M。;Tan,W.,《无线网状网络的过程代数》,(Seidl,H.,《编程语言和系统:第21届欧洲编程研讨会论文集》。编程语言和系统:第21届欧洲编程研讨会论文集,ESOP'12。编程语言与系统:第21届欧洲程序设计研讨会论文集。编程语言和系统:第21届欧洲编程研讨会论文集,ESOP'12,LNCS,第7211卷(2012),Springer,295-315·Zbl公司 1352.68183
[37] 费恩克,A。;范格拉贝克,R。J、 。;Hö弗纳,P。;麦克维尔,A。K、 。;波特曼,M。;谭,W。五十、 ,用于建模、验证和分析AODV的无线网状网络的过程代数(2013),NICTA,技术报告5513
[38] 福金克,W。J、 。;范格拉贝克,R。J、 。;de Wind,P.,《除法与同余:从模态公式的分解到分支和保持》η-bisimilarity,Inf.Comput.,21459-85(2012年)·Zbl公司 1277.68182
[39] 福金克,W。J、 ,过程代数导论,理论计算机科学教材,EATCS系列(2000),斯普林格·Zbl公司 941.68087
[40] 福金克,W。J、 根分支互模拟作为同余,J。计算机。系统。科学,60,1,11-27(2000)
[41] 吉布森·罗宾逊,T。;阿姆斯特朗,P。J、 。;博格科夫,A。;罗斯科,A。W、 ,FDR3-CSP的现代优化检查器(Á布拉赫ám、 E。;Havelund,K.,第20届国际系统构建与分析工具与算法会议论文集。第20届系统构造与分析工具与算法国际会议论文集,TACAS'14。第20届系统构造与分析工具与算法国际会议论文集。《第20届系统构建与分析工具与算法国际会议论文集》,TACAS'14,LNCS,第8413卷(2014),Springer),187-201·Zbl公司 1392.68300
[42] 范格拉贝克,R。J、 。;Goltz,U.,《并发系统的作用和等价概念的精化》,Acta Inform.,37229-327(2001)·Zbl公司 969.68081
[43] 范格拉贝克,R。J、 。;戈尔茨,美国。;Schicke Uffmann,J.-W.,关于分布性特征的研究,Log。方法计算。科学,9,3,17(2013)·Zbl公司 1274.68261
[44] 范格拉贝克,R。J、 。;Höfner,P.,CCS:这不公平!即使在某些公平性假设的情况下,公平调度程序也不能用类似CCS的语言实现,Acta Inform.,52,2-3,175-205(2015)·Zbl公司 1327.68171
[45] 范格拉贝克,R。J、 。;Höfner,P.,《过程代数中的进步、公平与公正》(2015),NICTA:NICTA悉尼,澳大利亚,技术报告8501
[46] 范格拉贝克,R。J、 。;Höfner,P.,进步,公正与公平(调查报告),ACM计算机。苏尔夫(2019年),正在出版
[47] 范格拉贝克,R。J、 ,高维自动机的双模拟(1991),电子邮件,1991年7月7日
[48] 范格拉贝克,R。J、 ,线性时间分支时间谱,II:具有无声移动的序列系统的语义(扩展摘要),(Best,E.,第四届并发理论国际会议论文集)。第四届并发理论国际会议论文集,CONCUR'93。第四届并发理论国际会议论文集。第四届并发理论国际会议论文集,CONCUR'93,LNCS,第715卷(1993),Springer),66-81
[49] 范格拉贝克,R。J、 论ACP(extended abstract)的表现性(Ponse,A。;维霍夫,C。;van Vlijmen,S。F、 通信过程代数第一次研讨会论文集。通信过程代数第一次研讨会论文集,ACP'94,计算研讨会(1994),Springer,188-217
[50] 范格拉贝克,R。J、 ,线性时间-分支时间谱,I:具体的,顺序过程的语义,(Bergstra,J。A、 。;庞塞,A。;斯莫尔卡,S。A、 《过程代数手册》,第1章(2001年),爱思唯尔,3-99·Zbl公司 1035.68073
[51] 范格拉贝克,R。J、 ,关于安全性和活力特性的最粗糙的先入为主的观点。S、 。;Sassone,V.,第6届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] 范格拉贝克,R。J、 《交互模拟》,(Padua,D.,并行计算百科全书(2011),Springer),136-139
[53] 范格拉贝克,R。J、 ,关于弱互模拟的酷同余格式。计算机。科学,412,28,3283-3302(2011年)·Zbl公司 1216.68199
[54] 范格拉贝克,R。J、 ,关于编码和表现力的思考,(卢提克,B。;雷尼尔,M。A、 ,会议快报/SOS'19。快报/SOS'19,EPTCS,第89卷(2012),开放出版协会,81-98
[55] 范格拉贝克,R。J、 结构保持双相似性,支持CCSP的操作petri网语义,(Meyer,R。;普拉泽,A。;Wehrheim,H.,《正确系统设计论文集》——纪念Ernst-R的研讨会ü在他60岁生日的时候。正确的系统设计论文集-纪念Ernst-R的研讨会üdiger Olderog在60岁生日之际,LNCS,第9360卷(2015),Springer),99-130·Zbl公司 1444.68125
[56] 范格拉贝克,R。J、 ,递归的精益和全同余格式,(第32届计算机科学中的逻辑ACM/IEEE年会论文集)。第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS,2017(2017)卷,IEEE计算机学会出版社)
[57] 范格拉贝克,R。J、 ,Justness:捕捉活性属性的完备性准则(扩展抽象),(Boja)ń捷克克,M。;辛普森,A.,Proc。福萨克斯19岁。程序。澳大利亚悉尼CSIRO,Data61,FoSSaCS'19。程序。福萨克斯19岁。程序。FoSSaCS'19,Data61,CSIRO,澳大利亚悉尼,LNCS,第11425卷(2019年),Springer),505-522,技术报告
[58] 范格拉贝克,R。J、 ,过程的奖励测试等价物,(Boreale,M。;科拉迪尼,F。;洛雷蒂,M。;Pugliese,R.,并发和分布式编程的模型、语言和工具,在Rocco De Nicola 65岁生日之际为他写的文章。并发和分布式编程的模型、语言和工具,为Rocco De Nicola 65岁生日撰写的文章,LNCS,第11665卷(2019年),Springer,45-70页
[59] 加拉维尔,H。;朗,F。;马特斯库,R。;Serwe,W.,CADP 2010:用于构建和分析分布式过程的工具箱,(Abdulla,P。A、 。;莱诺,K。R、 第17届国际系统构造与分析工具与算法会议论文集。第17届系统构建与分析工具与算法国际会议论文集,TACAS'11。第17届系统构造与分析工具与算法国际会议论文集。第17届系统构建与分析工具与算法国际会议论文集,TACAS'11,LNCS,第6605卷(2011),Springer),372-387·Zbl公司 1316.68074
[60] 范格拉贝克,R。J、 。;卢提克,B。;Tr公司čka,N.,带显式散度的分枝双相似性,Fundam。通知,93,4371-392(2009年)·Zbl公司 1183.68404
[61] 戈尔茨,美国。;Mycroft,A.,关于CCS和Petri网的关系,(Paredaens,J.,第11届ICALP会议论文集)。第11届ICALP会议录,LNCS,第172卷(1984年),Springer,196-208
[62] 格罗特,J。F、 。;穆萨维,M。R、 《通信系统建模与分析》(2014),麻省理工学院出版社
[63] 格罗特,J。F、 。;穆萨维,M。R、 。;雷尼尔,M。A、 SOS规则格式的层次结构,电子。理论笔记。计算机。科学,156,1,3-25(2006)·Zbl公司 1273.68206
[64] Gorla,D.,过程计算可编码性和分离结果的统一方法,Inf.Comput.,208,9,1031-1053(2010)·Zbl公司 1209.68336
〔65〕 格罗特,J。F、 ,带有否定前提的过渡系统规范,理论。计算机。科学,118,2263-299(1993)·Zbl公司 778.68057
[66] 范格拉贝克,R。J、 。;沃德拉格,F。W、 《并发代数理论的Petri网模型》(扩展抽象),(de Bakker,J。W、 。;尼曼,A。J、 。;特里芬,P。C、 欧洲并行体系结构和语言,第二卷:并行语言。PARLE论文集,欧洲并行体系结构和语言,第二卷:并行语言,LNCS,第259卷(1987),Springer),224-242
[67] 格罗特,J。F、 。;沃德拉格,F。W、 《结构化操作语义与同余的互模拟》,计算机基础,100,2202-260(1992)·Zbl公司 752.68053
[68] 范格拉贝克,R。J、 。;沃德拉格,F。W、 过程代数的模规范,定理。计算机。《科学》第113、2、293-348页(1993年)·Zbl公司 770.68092
〔69〕 范格拉贝克,R。J、 。;韦杰兰,W。P、 《双模拟语义中的分支时间与抽象》,J。ACM,43,3555-600(1996),部分可在·Zbl公司 882.68085
[70] 霍尔,C。A、 R.,通信顺序过程(1985),普伦蒂斯·霍尔:普伦蒂斯·霍尔恩格尔伍德悬崖·Zbl公司 637.68007
[71] 霍尔兹曼,G。J、 《自旋模型检查器-初级和参考手册》(2004),Addison-Wesley
[72] 亨辛格,T。A、 。;拉贾马尼,S。K、 ,公平的相互模拟,(格拉夫,S。;施瓦茨巴赫,M。一、 ,第六届国际系统构造与分析工具与算法会议论文集。第六届国际系统构造与分析工具与算法会议论文集,TACAS'00。第六届系统构造与分析工具与算法国际会议论文集。第六届系统构造与分析工具与算法国际会议论文集,TACAS'00,LNCS,第1785卷(2000年),Springer),299-314·Zbl公司 960.68121
[73] 康德,G。;拉曼,A。;梅杰,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] 奎亚特科夫斯卡,M。;诺曼,G。;Parker,D.,概率模型检验的进展和挑战,(Proc。IEEE12010年第1698届通信与电子工程师协会(IEEE)第1698届通信年会
[75] 科伊伯,R。;de Roever,W.-P.,时序逻辑框架下CSP的公平性假设,(Bjørner,D.,《编程概念的形式化描述II》(1983年),北荷兰,159-170·Zbl公司 512.68022
[76] Kindler,E。;沃尔特,R.,Mutex需要公平,信息处理。利特,62,1,31-39(1997年)·Zbl公司 1336.68182
[77] Lamport,L.,证明多进程程序的正确性,IEEE Trans。软。工程学,3,2,125-143(1977年)·Zbl公司 349.68006
[78] Lamport,L.,为硬件和软件工程师指定系统、TLA+语言和工具(2002年),Addison-Wesley
[79] 莱曼,D。J、 。;普努埃利,A。;Stavi,J.,《公正、公正与公平:同时终止劳动的道德规范》,(偶数,S。;卡里夫,O.,自动机,语言和编程。自动机,语言与程序设计,ICALP。自动机,语言和程序设计。自动机,语言和程序设计,ICALP,LNCS,第115卷(1981),Springer),264-277·Zbl公司 468.68026
[80] 林奇,W。C、 ,通过半双工电话线、公社进行可靠的全双工文件传输。ACM,11,6,407-410(1968年)
[81] 林奇,N。A、 《分布式算法》(1996),摩根考夫曼·Zbl公司 877.68061
[82] 米尔纳,R.,通信与并发,计算机科学中的PHI系列(1989),普伦蒂斯霍尔·Zbl公司 683.68008
[83] 《通信与移动系统——圆周率微积分》(1999),剑桥大学出版社·Zbl公司 942.68002
[84] 麦克维尔,A。K、 。;Morgan,C.,顺序程序中的恶魔、天使和无界概率选择,Acta Inform.,37,4/5,329-354(2001)·Zbl公司 971.68027
[85] 马祖基维茨,A。W、 。;奥赫曼斯基。;《并发系统与必然性理论》。计算机。科学,64,3,281-304(1989)·Zbl公司 675.68015
[86] Morgan,C.,规范编程,国际计算机科学系列(1994),普伦蒂斯霍尔·Zbl公司 829.68083
[87] 纳塔拉扬五世。;克里夫兰,R.,《分歧与公平测试》(Füöp、 Z。;Gécseg,F.,《第22届自动机、语言和程序设计国际学术讨论会论文集》。第22届国际自动机学术讨论会,语言和程序设计,ICALP'95。第22届自动机、语言和程序设计国际学术讨论会论文集。第22届自动机、语言和程序设计国际学术讨论会论文集,ICALP'95,LNCS,第944卷(1995),Springer),648-659·Zbl公司 1412.68155
[88] 《网络、术语和公式:并行过程及其关系的三种观点》,剑桥理论计算机科学丛书,第23卷(1991),剑桥大学出版社·Zbl公司 741.68002
[89] 帕金斯,C。E、 。;贝尔丁·罗耶,E。M、 。;Das,S.,Ad Hoc On Demand Distance Vector(AODV)路由(2003),网络工作组,RFC 3561
[90] 程序的时序逻辑,(计算机科学基础)。计算机科学基础,FOCS'77(1977),IEEE,46-57
[91] 普拉特,V。R、 ,建模与几何的并行性,(Proc。第18届ACM编程语言原理年会(1991年),311-322
[92] Reisig,W.,理解Petri网-建模技术,分析方法,案例研究(2013),Springer·Zbl公司 1278.68222
[93] 罗斯科,A。W、 《并发理论与实践》(1997),普伦蒂斯·霍尔
[94] Segala,R.,测试概率自动机(第七届并发理论国际会议论文集)。第七届并发理论国际会议论文集,CONCUR'96。第七届并发理论国际会议论文集。第七届并发理论国际会议论文集,CONCUR'96,LNCS,第1119卷(1996),Springer),299-314
[95] de Simone,R.,Meije SCCS中的高级同步设备,理论。计算机。科学,37245-267(1985年)·Zbl公司 598.68027
[96] 桑吉奥吉,D。;沃克,Dπ-微积分:移动过程理论(2001),剑桥大学出版社·Zbl公司 981.68116
[97] 过程,可观察的。第七届计算机科学逻辑年会。程序。第七届计算机科学逻辑年会,LICS'92(1992),IEEE计算机学会,148-159
[98] 尤利多斯基,I.,用于测试预序和De-Simone过程语言的有限公理系统,理论。计算机。《科学》,239,197-139(2000)·Zbl公司 944.68125
[99] 乌利多斯基,I。;菲利普斯,我。C、 C.,有序的SOS过程语言,用于分支和急切的交互模拟,Inf.Comput.,178,1180-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公司 999.68143
[101] 韦霍夫,C.,《带谓词和负前提的结构化操作语义的同余定理》,诺德。J。计算机,2,2,274-302(1995)·Zbl公司 839.68060
[102] 《Petri网的模结构与偏序语义》,LNCS,第625卷(1992),Springer·Zbl公司 1293.68015
[103] 《异步系统的效率,读弧和互斥问题》,理论。计算机。科学,275,1-2589-631(2002)·Zbl公司 1026.68099
[104] 沃克,D。J、 《互模拟与发散》,《基础计算》,85,2202-241(1990)·Zbl公司 713.68036
[105] 温斯克尔,G.,《Petri网态射的新定义》,(Fontet,M。;Mehlhorn,K.,STACS 84会议记录。STACS 84号论文集,LNCS,第166卷(1984年),斯普林格出版社,140-150页
[106] 温斯克尔,G.,事件结构,(布劳尔,W。;莱希格,W。;《Petri网:与其他并发模型的应用和关系》,Petri网进展(1987年)(布劳尔,W。;莱希格,W。;《Petri网:与其他并发模型的应用和关系》,Petri网进展(1987),第二部分(布劳尔,W。;莱希格,W。;《Petri网:与其他并发模型的应用和关系》,Petri网进展(1987年)(布劳尔,W。;莱希格,W。;Rozenberg,G.,Petri网:对其他并发模型的应用和关系,Petri网进展(1987年)),第二部分,LNCS,第255卷,325-392(1986年),Springer
[107号] 易,王;拉森,K。G、 ,测试概率和不确定性过程,(IFIP TC6/WG6.1第十二届协议规范、测试和验证国际研讨会论文集,IFIP交易C-8(1992),北荷兰),47-61
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。