×

进程代数的简史。 (英语) Zbl 1080.68072号

摘要:本文介绍了进程代数的历史,它是计算机科学中并行和分布式系统理论并发理论的一个研究领域。起源可追溯到二十世纪七十年代初,并概述了自那时以来的发展情况。作者就这些问题发表了个人观点。他还考虑了目前的形势,并陈述了未来的一些挑战。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

关键词:

进程代数;历史
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] M.阿巴迪。;Gordon,A.D.,《密码协议演算和spi演算》,(第四届ACM计算机和通信安全会议(1997),ACM出版社:纽约ACM出版社),36-47
[2] L.Aceto,《经典过程代数中我最喜欢的一些结果》,技术报告NS-03-2,金砖国家,2003年。;L.Aceto,《经典过程代数中我最喜欢的一些结果》,技术报告NS-03-2,金砖国家,2003年·兹比尔1169.68533
[3] L.Aceto,Z.Ésik,W.J.Fokkink,A.Ingólfsdóttir(编辑),《过程代数:开放问题和未来方向》,金砖国家票据系列NS-03-32003。;L.Aceto,Z.Esik,W.J.Fokkink,A.Ingólfsdóttir(编辑),《过程代数:开放问题和未来方向》,金砖国家注释系列NS-03-32003。
[4] 丙酮,L。;福克金,W.J。;Verhoef,C.,《结构操作语义》(《过程代数手册》(2001),北荷兰:北荷兰阿姆斯特丹),197-292·Zbl 1062.68074号
[5] 阿鲁尔(Alur,R.)。;Courcoubetis,C。;Halbwachs,N。;Henzinger,T.A。;Ho,P.-H。;尼克林,X。;奥利维罗,A。;Sifakis,J。;Yovine,S.,混合系统的算法分析,理论。计算。科学。,138,3-34(1995年)·Zbl 0874.68206号
[6] S.Andova,概率过程代数,博士论文,埃因霍温理工大学,2002。;S.Andova,概率过程代数,博士论文,埃因霍温理工大学,2002年·Zbl 0978.68100号
[7] Apt,K.R。;Francez,N。;de Roever,W.P.,通信顺序过程的证明系统,TOPLAS,2359-385(1980)·Zbl 0468.68023号
[8] Austry,D。;Boudol,G.,Algèbre de processus et synchronization,理论。计算。科学。,30, 91-131 (1984) ·Zbl 0533.68026号
[9] Baeten,J.C.M.,总阶假设,(Purushothaman,S.;Zwarico,A.,Proc.First North American Process Algebra Workshop,Workshops in Computing(1993),Springer:Springer Berlin),231-240
[10] J.C.M.Baeten,《超过30年的过程代数:过去、现在和未来》,收录于:L.Aceto,Z.Esik,W.J.Fokkink,A.Ingólfsdóttir(编辑),《过程代数:开放问题和未来方向》,金砖国家注释系列第NS-03-3卷,2003年,第7-12页。;J.C.M.Baeten,《超过30年的过程代数:过去、现在和未来》,收录于:L.Aceto,Z.Esik,W.J.Fokkink,A.Ingólfsdóttir(编辑),《过程代数:开放问题和未来方向》,《金砖国家注释系列》第NS-03-3卷,2003年,第7-12页。
[11] Baeten,J.C.M。;Bergstra,J.A.,实时进程代数,形式方面计算。,3, 2, 142-188 (1991) ·Zbl 0719.68020号
[12] J.C.M.Baeten、J.A.Bergstra、C.A.R.Hoare、R.Milner、J.Parrow、R.de Simone,过程代数的多样性,可交付ESPRIT基础研究行动3006,CONCUR,1991年。;J.C.M.Baeten、J.A.Bergstra、C.A.R.Hoare、R.Milner、J.Parrow、R.de Simone,过程代数的多样性,可交付ESPRIT基础研究行动3006,CONCUR,1991年。
[13] Baeten,J.C.M。;Bergstra,J.A。;Smolka,S.A.,公理化概率过程ACP与生成概率,Inform。计算。,121, 2, 234-255 (1995) ·Zbl 0829.60044号
[14] Baeten,J.C.M。;Middelburg,C.A.,带时序的过程代数,EATCS专著(2002),施普林格:施普林格柏林·Zbl 1021.68063号
[15] J.C.M.Baeten,C.A.Middelburg,M.A.Reniers,《具有时间的过程的新等价物》,《技术报告CSR 02-10》,埃因霍温理工大学计算机科学系,2002年。;J.C.M.Baeten,C.A.Middelburg,M.A.Reniers,《具有时间的过程的新等价物》,《技术报告CSR 02-10》,埃因霍温理工大学计算机科学系,2002年。
[16] J.C.M.Baeten,W.P.Weijland,《过程代数》,第18卷,《剑桥理论计算机科学丛书》,剑桥大学出版社,剑桥,1990年。;J.C.M.Baeten,W.P.Weijland,《过程代数》,第18卷,《剑桥理论计算机科学丛书》,剑桥大学出版社,剑桥,1990年·Zbl 0716.68002号
[17] de Bakker,J.W。;Zucker,J.I.,并发的指称语义,(Proc.14th Symp.on Theory of Computing(1982),ACM:ACM New York),153-158·Zbl 0508.68010号
[18] de Bakker,J.W。;Zucker,J.I.,进程和并发的指称语义,Inform。控制,54,70-120(1982)·Zbl 0508.68011号
[19] H.Bekić,朝向过程的数学理论,技术报告TR 25.125,IBM维也纳实验室,1971年。;H.Bekič,《走向过程的数学理论》,技术报告TR 25.125,IBM维也纳实验室,1971年。
[20] H.Bekić,《编程语言及其定义》(C.B.Jones编辑的论文选集),《计算机科学讲义》,第177卷,柏林斯普林格出版社,1984年。;H.Bekić,《编程语言及其定义》(C.B.Jones编辑的论文选集),《计算机科学讲义》,第177卷,柏林斯普林格出版社,1984年。
[21] J.A.Bergstra,J.W.Klop,进程代数中的不动点语义,技术报告IW 208,阿姆斯特丹数学中心,1982年。;J.A.Bergstra,J.W.Klop,进程代数中的不动点语义,技术报告IW 208,阿姆斯特丹数学中心,1982年·Zbl 0549.68012号
[22] J.A.Bergstra,J.W.Klop,递归定义过程的代数和正则过程的代数,收录于:J.Paredaens(Ed.),Proc。第11届ICALP,《计算机科学讲义》,第172卷,施普林格,柏林,1984年,第82-95页。;J.A.Bergstra,J.W.Klop,递归定义过程的代数和正则过程的代数,收录于:J.Paredaens(Ed.),Proc。第11届ICALP,《计算机科学讲义》,第172卷,施普林格,柏林,1984年,第82-95页·Zbl 0561.68019号
[23] Bergstra,J.A。;Klop,J.W.,同步通信的进程代数,Inform。控制,60,1,3,109-137(1984)·Zbl 0597.68027号
[24] Bergstra,J.A。;Klop,J.W.,过程代数中的收敛定理,(de Bakker,J.W;Rutten,J.J.M.,《并发语义十年》(1992),《世界科学:世界科学新加坡》,164-195年·Zbl 0625.68023号
[25] J.A.Bergstra,C.A.Middelburg,混合系统的过程代数语义,技术报告CS-R 03/06,埃因霍温理工大学计算机科学系,2003年。;J.A.Bergstra,C.A.Middelburg,混合系统的过程代数语义,技术报告CS-R 03/06,埃因霍温理工大学计算机科学系,2003年·Zbl 1080.68073号
[26] J.A.Bergstra、A.Ponse、S.A.Smolka(编辑),《过程代数手册》,荷兰北部,阿姆斯特丹,2001年。;J.A.Bergstra、A.Ponse、S.A.Smolka(编辑),《过程代数手册》,荷兰北部,阿姆斯特丹,2001年·Zbl 0971.00006号
[27] 伯纳多,M。;Gorrieri,R.,《EMPAA非确定性、优先级、概率和时间并发过程理论教程》,Theoret。计算。科学。,202, 1-54 (1998) ·兹比尔0902.68075
[28] 贝斯特,E。;Devillers,R。;Koutny,M.,网络和过程代数的统一模型,(过程代数手册(2001),北荷兰:北荷兰阿姆斯特丹),945-1045
[29] E.Brinksma(编辑),信息处理系统,开放系统互连,LOTOS-A基于观测行为时间顺序的形式化描述技术,国际标准,ISO,卷IS-8807,日内瓦,1989年。;E.Brinksma(编辑),信息处理系统,开放系统互连,LOTOS-A基于观测行为时间顺序的形式化描述技术,国际标准,ISO,卷IS-8807,日内瓦,1989年。
[30] 布鲁克斯,S.D。;霍尔,C.A.R。;Roscoe,A.W.,《通信顺序过程理论》,J.ACM,31,3,560-599(1984)·Zbl 0628.68025号
[31] O.伯克特。;Caucal,D。;莫勒,F。;Steffen,B.,《无限结构的验证》(《过程代数手册》(2001),北荷兰:北荷兰阿姆斯特丹),545-623·Zbl 1035.68067号
[32] Cardelli,L。;Gordon,A.D.,移动环境,理论。计算。科学。,240, 177-213 (2000) ·Zbl 0954.68108号
[33] P.J.L.Cuijpers,M.A.Reniers,混合过程代数。技术报告CS-R 03/07,埃因霍温理工大学计算机科学系,2003年。;P.J.L.Cuijpers,M.A.Reniers,混合过程代数。技术报告CS-R 03/07,埃因霍温理工大学计算机科学系,2003年·Zbl 1090.68071号
[34] P.R.D’Argenio,《时间和随机系统的代数和自动机》,特温特大学博士论文,1999年。;P.R.D’Argenio,《时间和随机系统的代数和自动机》,特温特大学博士论文,1999年。
[35] J.Desharnais,V.Gupta,R.Jagadeesan,P.Panangaden,标记马尔可夫系统的度量,收录于:J.C.M.Baeten,S.Mauw(编辑),Proc。CONCUR’99,《计算机科学讲义》,第1664卷,柏林斯普林格出版社,1999年,第258-273页。;J.Desharnais,V.Gupta,R.Jagadeesan,P.Panangaden,标记马尔可夫系统的度量,收录于:J.C.M.Baeten,S.Mauw(编辑),Proc。CONCUR’99,《计算机科学讲义》,第1664卷,柏林斯普林格出版社,1999年,第258-273页·Zbl 0939.68081号
[36] Dijkstra,E.W.,Guarded命令程序的不确定性和形式派生,Commun。ACM,18,8,453-457(1975)·Zbl 0308.68017号
[37] U.Engberg,M.Nielsen,带标签传递的通信系统微积分。《DAIMI PB-208技术报告》,奥胡斯大学,1986年。;U.Engberg,M.Nielsen,带标签传递的通信系统微积分。《DAIMI PB-208技术报告》,奥胡斯大学,1986年。
[38] J.-C.Fernandez、H.Garavel、A.Kerbrat、R.Mateescu、L.Mounier、M.Sighireanu、CADP(CAESAR/ALDEBARAN开发包):协议验证和验证工具箱,见:R.Alur、T.A.Henzinger(编辑),Proc。CAV’96,《计算机科学讲义》,第1102卷,施普林格,柏林,1996年,第437-440页。;J.-C.Fernandez、H.Garavel、A.Kerbrat、R.Mateescu、L.Mounier、M.Sighireanu、CADP(CAESAR/ALDEBARAN开发包):协议验证和验证工具箱,见:R.Alur、T.A.Henzinger(编辑),Proc。CAV’96,《计算机科学讲义》,第1102卷,柏林斯普林格出版社,1996年,第437-440页。
[39] Floyd,R.W.,为程序赋予意义,(Schwartz,J.T.,Proc.Symp.in Applied Mathematics,Mathematical Aspects of Computer Science(1967),美国数学学会:美国数学学会普罗维登斯,RI),19-32·Zbl 0189.50204号
[40] Focardi,R。;Gorrieri,R.,过程代数安全性质的分类,计算。安全,3,5-33(1995)
[41] R.J.van Glabbeek,线性时间分支时间谱II;无声移动的顺序系统的语义,见:E.Best(Ed.),Proc。CONCUR’93,《计算机科学讲义》,第715卷,施普林格,柏林,1993年,第66-81页。;R.J.van Glabbeek,线性时间分支时间谱II;无声移动的顺序系统的语义,见:E.Best(Ed.),Proc。CONCUR’93,《计算机科学讲义》,第715卷,施普林格,柏林,1993年,第66-81页。
[42] van Glabbeek,R.J.,什么是分支时间语义,为什么要使用它?,(Nielsen,M.,《并行专栏》,EATCS公报53(1994)),190-198年·Zbl 0810.68093号
[43] van Glabbeek,R.J.,《线性时间分支时间谱I.具体、顺序过程的语义》(《过程代数手册》(2001),北荷兰人:北荷兰阿姆斯特丹),3-100·Zbl 1035.68073号
[44] 范·格拉贝克,R.J。;Weijland,W.P.,互模拟语义中的分支时间和抽象,J.ACM,43,555-600(1996)·Zbl 0882.68085号
[45] N.Götz,U.Herzog,M.Rettelbach,《多处理器和分布式系统设计:使用随机过程代数的功能规范和性能分析的集成》,收录于:L.Donatiello,R.Nelson(编辑),《计算机和通信系统的性能评估》,《计算机科学讲义》,第729卷,柏林斯普林格,1993年,第121-146页。;N.Götz,U.Herzog,M.Rettelbach,《多处理器和分布式系统设计:使用随机过程代数的功能规范和性能分析的集成》,收录于:L.Donatiello,R.Nelson(编辑),《计算机和通信系统的性能评估》,《计算机科学讲义》,第729卷,柏林斯普林格,1993年,第121-146页。
[46] J.F.Groote,《过程代数与结构化操作语义学》,阿姆斯特丹大学博士论文,1991年。;J.F.Groote,《过程代数和结构化操作语义学》,阿姆斯特丹大学博士论文,1991年。
[47] J.F.Groote,B.Lisser,代数过程规范的计算机辅助操作。技术报告SEN-R0117,CWI,阿姆斯特丹,2001。;J.F.Groote,B.Lisser,代数过程规范的计算机辅助操作。技术报告SEN-R0117,CWI,阿姆斯特丹,2001年。
[48] Groote,J.F。;Reniers,M.A.,《代数过程验证》(《过程代数手册》(2001),北荷兰:北荷兰阿姆斯特丹),1151-1208·Zbl 1035.68069号
[49] H.Hansson,分布式系统形式化设计中的时间和概率,乌普萨拉大学博士论文,1991年。;H.Hansson,分布式系统形式化设计中的时间和概率,乌普萨拉大学博士论文,1991年。
[50] Hennessy,M.,《过程代数理论》(1988),麻省理工学院出版社:麻省理学院出版社剑桥·Zbl 0744.68047号
[51] M.Hennessy,R.Milner,《关于观察不确定性和并发性》,J.W.de Bakker,J.van Leeuwen(编辑),Proc。第七届ICALP,计算机科学讲义,第85卷,施普林格,柏林,1980年,第299-309页。;M.Hennessy,R.Milner,《关于观察不确定性和并发性》,J.W.de Bakker,J.van Leeuwen(编辑),Proc。第七届ICALP,《计算机科学讲义》,第85卷,施普林格,柏林,1980年,第299-309页·Zbl 0441.68018号
[52] T.A.Henzinger,P.Ho,H.Wong-Toi,Hy-Tech:下一代,摘自:Proc。RTSS,IEEE,纽约,1995年,第56-65页。;T.A.Henzinger,P.Ho,H.Wong-Toi,Hy-Tech:下一代,摘自:Proc。RTSS,IEEE,纽约,1995年,第56-65页。
[53] J.Hillston,《性能建模的合成方法》,博士论文,剑桥大学出版社,剑桥,1996年。;J.Hillston,《性能建模的合成方法》,博士论文,剑桥大学出版社,剑桥,1996年·Zbl 1080.68003号
[54] Hoare,C.A.R.,计算机编程的公理基础,Commun。美国医学会,12576-580(1969)·Zbl 0179.23105号
[55] Hoare,C.A.R.,通信顺序过程,Commun。ACM,21、8、666-677(1978)·Zbl 0383.68028号
[56] Hoare,C.A.R.,《通信顺序过程的模型》(McKeag,R.M.;Macnaghten,A.M.,《关于程序的构建》(1980),剑桥大学出版社:剑桥大学出版社),229-254·Zbl 0841.68042号
[57] Hoare,C.A.R.,《通信顺序过程》(1985),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德克利夫斯,新泽西州·Zbl 0637.68007号
[58] Larsen,K.G。;Pettersson,P。;王毅,简而言之,Uppaal,J.Software Tools Technol。转让,1(1997)·Zbl 1060.68577号
[59] I.Lee,P.Bremond-Gregoire,R.Gerber,资源约束实时系统规范和分析的过程代数方法。程序。IEEE,1994年(实时专题)。;I.Lee,P.Bremond-Gregoire,R.Gerber,资源约束实时系统规范和分析的过程代数方法。程序。IEEE,1994年(实时专题)。
[60] Linz,P.,《形式语言和自动机导论》(2001),Jones和Bartlett
[61] G.Lowe,定时CSP中的概率和优先级。牛津大学博士论文,牛津,1993年。;G.Lowe,定时CSP中的概率和优先级。牛津大学博士论文,牛津,1993年。
[62] N.Lynch,R.Segala,F.Vaandrager,H.B.Weinberg,《混合I/O自动机》,收录于:T.Henzinger,R.Alur,E.Sontag(编辑),《混合系统III,计算机科学讲稿》,第1066卷,柏林斯普林格出版社,1995年。;N.Lynch,R.Segala,F.Vaandrager,H.B.Weinberg,《混合I/O自动机》,收录于:T.Henzinger,R.Alur,E.Sontag(编辑),《混合系统III,计算机科学讲稿》,第1066卷,柏林斯普林格出版社,1995年。
[63] 南卡罗来纳州麦克莱恩。;Birkhoff,G.,《代数》(1967),麦克米兰:麦克米兰纽约·Zbl 0153.32401号
[64] S.Mauw,PSF:工艺规范形式主义,阿姆斯特丹大学博士论文,1991年。请参见;S.Mauw,PSF:工艺规范形式主义,阿姆斯特丹大学博士论文,1991年。请参见
[65] 茅,S。;Reniers,M.A.,《基本消息序列图的代数语义》,计算。J.,37,269-277(1994)
[66] A.Mazurkiewicz,并发程序方案及其解释,《DAIMI PB-78技术报告》,奥胡斯大学,1977年。;A.Mazurkiewicz,并发程序方案及其解释,DAIMI PB-78技术报告,奥胡斯大学,1977年。
[67] McCarthy,J.,《计算数学理论的基础》(Braffort,P.;Hirshberg,D.,《计算机编程和形式系统》(1963),北荷兰人:北荷兰阿姆斯特丹),33-70
[68] Milne,G.J.,电路描述的CIRCALa演算,积分,121-160(1983)
[69] Milne,G.J。;Milner,R.,《并发进程及其语法》,J.ACM,26,2,302-321(1979)·Zbl 0395.68030号
[70] Milner,R.,并行程序语义的一种方法,(Proc.Congno di informatica Teoretica,Pisa,Instituto di Elaborazione della Informazione(1973)),285-301
[71] Milner,R.,Processesa计算代理的数学模型,(Rose,H.E.;Shepherdson,J.C.,Proc.Logic Colloquium,Studies in Logic and the Foundations of Mathematics,Vol.80(1975),北荷兰:北荷兰阿姆斯特丹),157-171
[72] R.Milner,通信系统代数,收录于:Proc。AFCET/SMF联合研讨会,应用数学,巴黎,1978年。;R.Milner,通信系统代数,收录于:Proc。AFCET/SMF联合研讨会,应用数学,巴黎,1978年·Zbl 0482.68045号
[73] R.Milner,《沟通行为综合》,J.Winkowski(编辑),Proc。第七届MFCS,《计算机科学讲义》,第64卷,萨科帕内,施普林格,柏林,1978年,第71-83页。;R.Milner,《沟通行为综合》,J.Winkowski(编辑),Proc。第七届MFCS,《计算机科学讲义》,第64卷,萨科帕内,施普林格,柏林,1978年,第71-83页·Zbl 0411.68031号
[74] Milner,R.,流图和流代数,J.ACM,26,4,794-818(1979)·兹比尔0421.68025
[75] R.Milner,《通信系统微积分》,《计算机科学讲义》,第92卷,施普林格出版社,柏林,1980年。;R.Milner,《通信系统微积分》,《计算机科学讲义》,第92卷,施普林格出版社,柏林,1980年·兹比尔0452.68027
[76] Milner,R.,《同步与异步演算》,Theoret。计算。科学。,25, 267-310 (1983) ·Zbl 0512.68026号
[77] Milner,R.,一类正则行为的完整推理系统,J.Compute。系统科学。,28, 439-466 (1984) ·Zbl 0562.68065号
[78] Milner,R.,《沟通与并发》(1989),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德·克利夫斯,新泽西州·Zbl 0683.68008号
[79] Milner,R.,《互动演算》,《信息学报》,第33期,第707-737页(1996年)
[80] Milner,R.,《通信和移动系统——微积分》(1999),剑桥大学出版社:剑桥大学出版社
[81] R.Milner,双图反应系统,收录于:K.G.Larsen,M.Nielsen,(编辑),Proc。CONCUR’01,计算机科学讲义,第2154卷,施普林格,柏林,2001年,第16-35页。;R.Milner,双图反应系统,收录于:K.G.Larsen,M.Nielsen,(编辑),Proc。CONCUR’01,《计算机科学讲义》,第2154卷,施普林格,柏林,2001年,第16-35页·Zbl 1006.68080号
[82] 米尔纳,R。;鹦鹉,J。;Walker,D.,《移动进程演算》,Inform。计算。,100, 1-77 (1992) ·Zbl 0752.68037号
[83] F.Moller,P.Stevens,《爱丁堡并发工作台用户手册》(7.1版),可从以下网址获得:;F.Moller,P.Stevens,《爱丁堡并发工作台用户手册》(7.1版),网址:
[84] F.Moller,C.Tofts,《通信系统的时间演算》,载于:J.C.M.Baeten,J.W.Klop(编辑),Proc。CONCUR’90,计算机科学讲义,第458卷,施普林格,柏林,1990年,第401-415页。;F.Moller,C.Tofts,《通信系统的时间演算》,载于:J.C.M.Baeten,J.W.Klop(编辑),Proc。CONCUR’90,《计算机科学讲义》,第458卷,施普林格,柏林,1990年,第401-415页。
[85] 尼科林,X。;Sifakis,J.,时间过程代数ATP理论与应用,Inform。计算。,114, 131-178 (1994) ·Zbl 0811.68093号
[86] Owicki,S。;Gries,D.,验证并行程序的属性和公理方法,Commun。ACM,19,279-285(1976)·Zbl 0322.68010号
[87] D.M.R.Park,无限序列上的并发与自动机,收录于:P.Deussen(Ed.),Proc。第五届GI大会,《计算机科学讲义》,第104卷,柏林斯普林格出版社,1981年,第167-183页。;D.M.R.Park,无限序列上的并发与自动机,收录于:P.Deussen(Ed.),Proc。第五届GI大会,《计算机科学讲义》,第104卷,柏林斯普林格出版社,1981年,第167-183页。
[88] C.A.Petri,Kommunikation mit automaten公司。1962年波恩数学仪器研究所博士论文。;C.A.培养基,自动化管理。1962年波恩数学仪器研究所博士论文。
[89] C.A.Petri,《一般网络理论导论》,载于:W.Brauer(编辑),Proc。通用网络理论、过程和系统高级课程,计算机科学讲稿,第84卷,施普林格,柏林,1980年,第1-20页。;C.A.Petri,《一般网络理论导论》,载于:W.Brauer(编辑),Proc。通用网络理论、过程和系统高级课程,计算机科学讲稿,第84卷,施普林格,柏林,1980年,第1-20页。
[90] Plotkin,G.D.,《功率域结构》,SIAM J.Compute。,5, 452-487 (1976) ·Zbl 0355.68015号
[91] G.D.Plotkin,《操作语义的结构方法》,《DAIMI FN-19技术报告》,奥胡斯大学,1981年。重印为[93]。;G.D.Plotkin,《操作语义的结构方法》,《DAIMI FN-19技术报告》,奥胡斯大学,1981年。重印为[93]。
[92] G.D.Plotkin,《结构操作语义的起源》。《逻辑代数编程》,60/61(2004)3-152004(结构操作语义专刊)。;G.D.Plotkin,《结构操作语义的起源》。《逻辑代数编程》,60/61(2004)3-152004(结构操作语义专刊)·Zbl 1072.68063号
[93] G.D.Plotkin,操作语义的结构方法。《逻辑代数编程》,60/61(2004)17-1392004(结构操作语义专刊)。;G.D.Plotkin,操作语义的结构方法。《逻辑代数编程》,60/61(2004)17-1392004(结构操作语义专刊)·Zbl 1082.68062号
[94] A.Pnueli,程序的时序逻辑,in:Proc。第19交响曲。《计算机科学基础》,IEEE,1977年,第46-57页。;A.Pnueli,程序的时序逻辑,in:Proc。第19交响曲。《计算机科学基础》,IEEE,1977年,第46-57页。
[95] Priami,C。;雷格夫,A。;西尔弗曼,W。;Shapiro,E.,《随机过程代数在分子过程生物信息学中的应用》,Inform。过程。莱特。,80, 25-31 (2001)
[96] 里德·G·M。;Roscoe,A.W.,《通信顺序过程的时间模型》,Theoret。计算。科学。,58, 249-261 (1988) ·Zbl 0655.68031号
[97] M.Rem,部分有序计算,及其在超大规模集成电路设计中的应用,收录于:J.W.de Bakker,J.van Leeuwen(编辑),计算机科学基础IV,数学中心丛书,第159卷,阿姆斯特丹数学中心,1983年,第1-44页。;M.Rem,部分有序计算,及其在超大规模集成电路设计中的应用,收录于:J.W.de Bakker,J.van Leeuwen(编辑),《计算机科学基础IV》,数学中心丛书,第159卷,阿姆斯特丹数学中心,1983年,第1-44页·Zbl 0516.68011号
[98] Schneider,S.A.,并发和实时系统(CSP方法),计算机科学全球系列(2000),威利:威利纽约
[99] S.A.Schneider,进程代数与安全,收录于:K.G.Larsen,M.Nielsen(编辑),Proc。CONCUR'01,《计算机科学讲义》,第2154卷,施普林格,柏林,2001年,第37-38页。;S.A.Schneider,进程代数与安全,收录于:K.G.Larsen,M.Nielsen(编辑),Proc。CONCUR’01,《计算机科学讲义》,第2154卷,施普林格,柏林,2001年,第37-38页·Zbl 1006.68709号
[100] 斯科特·D·S。;Strachey,C.,《面向计算机语言的数学语义》(Fox,J.,Proc.Symp.Computers and Automata(1971),布鲁克林出版社理工学院),19-46
[101] Y.S.Usenko,在\(\operatorname{μ;}\)中的线性化;Y.S.Usenko,\(\operatorname{μ;}\)中的线性化
[102] F.W.Vaandrager,POOL的过程代数语义,收录于:J.C.M.Baeten(Ed.),过程代数的应用,剑桥理论计算机科学丛书,第17卷,剑桥大学出版社,1990年,第173-236页。;F.W.Vaandrager,POOL的过程代数语义,收录于:J.C.M.Baeten(Ed.),过程代数的应用,剑桥理论计算机科学丛书,第17卷,剑桥大学出版社,1990年,第173-236页。
[103] B.Victor,一个用于多进制的验证工具(operatorname{\Pi;});B.Victor,一个用于多元数\(\操作符名{\Pi;}\)的验证工具
[104] T.A.C.Willemse,《数据和时序过程代数中的语义和验证》,埃因霍温理工大学博士论文,2003年。;T.A.C.Willemse,《数据和时序过程代数中的语义和验证》,埃因霍温科技大学博士论文,2003年。
[105] W.Yi,异步代理的实时行为,收录于:J.C.M.Baeten,J.W.Klop(编辑),Proc。CONCUR’90,计算机科学讲义,第458卷,施普林格,柏林,1990年,第502-520页。;W.Yi,异步代理的实时行为,收录于:J.C.M.Baeten,J.W.Klop(编辑),Proc。CONCUR’90,《计算机科学讲义》,第458卷,施普林格,柏林,1990年,第502-520页。
[106] Yovine,S.,Kronosa实时系统验证工具,J.软件工具技术转让,1123-133(1997)·Zbl 1060.68606号
[107] D.Zhang,R.Cleaveland,E.Stark,用于并发系统功能验证和性能分析的集成CWB-NC/PIOA工具,收录于:H.Garavel,J.Hatcliff(编辑),Proc。TACAS’03,《计算机科学讲义》,第2619卷,施普林格,柏林,2003年,第431-436页。;D.Zhang,R.Cleaveland,E.Stark,用于并发系统功能验证和性能分析的集成CWB-NC/PIOA工具,收录于:H.Garavel,J.Hatcliff(编辑),Proc。TACAS’03,《计算机科学讲义》,第2619卷,施普林格,柏林,2003年,第431-436页·Zbl 1031.68554号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。