1 Abramsky，S.互模拟领域方程。 J.信息计算。 92 (1991), 161-218. 谷歌学者 
数字图书馆 
2 Agha，G.A.Actors:分布式系统中的并发计算模型。 麻省理工学院出版社，剑桥，马萨诸塞州，1986年 谷歌学者 数字图书馆 三 Astesiano，E.和Zucca，E.在CCS，j，Theor中通过标签表达式的参数通道。 计算，科学。 33（1984），45-64页。 谷歌学者 4 Baeten，J.C.M.和Weijland，W.P.过程代数。 剑桥大学出版社，剑桥，马萨诸塞州，1990年。 谷歌学者 数字图书馆 5 Barendregt，H.P.Lambda，Calcu lus出版社。 北荷兰，阿姆斯特丹，1981年。 谷歌学者 6 Bohm，C.和Berarducci。 术语代数上类型A程序的自动合成。 J.西奥。 计算科学。 39 (1985), 135-154. 谷歌学者 交叉引用 
7 Brinksma，E.关于扩展Lotos的设计，一种开放分布式系统的规范语言。 特温特大学博士论文，1988年。 谷歌学者 8 布鲁克斯。 S.D.、Hoare、C.A.R.和Roscoe、A.W.《通信顺序过程理论》J.ACM 31（1984），560-599。 谷歌学者 数字图书馆 9 Church，A.兰姆达转换的计算。 普林斯顿大学出版社，新泽西州普林斯顿，1946年 谷歌学者 数字图书馆 10 Engberg.U.和Nielsen，M.A，标签传递通信系统的微积分。 丹麦阿胡斯大学计算机科学系DAIMI pb-208代表，1986年。 谷歌学者 11 15年后，可变类型的系统F。 J.西奥。 《计算科学》45（1986），159-192。 谷歌学者 数字图书馆 12 Goldber，A.和Robson，D.Smalltalk-80：语言及其实现 谷歌学者 数字图书馆 13 Gunter，C.A.和Scott，D.S.语义域。 《理论计算机科学手册》，A.Elsevier卷，纽约，1990年，第633-674页 谷歌学者 数字图书馆 14 Hennessy，M.代数过程理论。 麻省理工学院出版社，剑桥，马萨诸塞州，1988年。 谷歌学者 数字图书馆 15 Hewitt，C.E.，Bishop，P.，Steiger，R.A.人工智能通用模块Actor格式。 国际人工智能联合会议记录。 1973年，235-245 谷歌学者 16 Hoare，C.A.R.《通信顺序》，ACM 21（1978），666-677。 谷歌学者 数字图书馆 17 Hoare，C.A.R.Communicating Sequential t roces.ws.Ptenti（：e-Hat{，Englewood Clit！~.NJ.，1985年）。 谷歌学者 数字图书馆 18 本田。 K.和Tokoro，M.异步通信的对象计算。 在欧洲面向对象编程会议记录中。 《计算机科学讲义》，第512卷。 Springer-Verlag，纽约，1991年，第133-147页。 谷歌学者 数字图书馆 19 Kennaway，J.R.和Sleep，M.R.平行语言DyNe的语法和非正式语义。 《计算机科学讲义》，第207卷。 Springerverlag，纽约，1985年，第222页- 谷歌学者 数字图书馆 20 Milner，R~流图和流代数。 ACM 26，4（1979年10月），794-818， 谷歌学者 数字图书馆 21 Milner，R.通信系统微积分。 计算机科学讲义，第92卷。 施普林格-维拉格，纽约1980 谷歌学者 数字图书馆 22 Milner，R.通信。 和并发。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1989年。 谷歌学者 数字图书馆 23 Milner，R.《多元演算》； 教程。 研究代表LFCS- 91-180爱丁堡大学计算机科学系计算机科学基础实验室，1991年。 谷歌学者 24 Milner，R.作为过程发挥作用。 Res.Rep.No.1154，INRIA，Sophia Antipolis，1990年， 谷歌学者 25 Milner，R.、Parrow，J.和Walker，D.移动过程微积分。 1989年爱丁堡大学计算机科学系计算机科学基础实验室ECS-LFCS-89-85和-86代表。 谷歌学者 26 Newell，A.和Simon，H.A.计算机作为专业咨询； 符号和搜索。 Commun公司。 ACM 19（1976），113-126 谷歌学者 数字图书馆 27 Nielson，F.具有一流过程的类型微积分。 在PARLE 89的过程中，计算机科学中的讲义，第366卷。 施普林格-弗拉格，纽约，1989年。 谷歌学者 数字图书馆 28 Nielsen，M.，Plotkin，G.D.和Winskel，G.Petri网，事件结构和域。 J.西奥。 计算机科学，13（1981）。 谷歌学者 29 Orava，F.和Parrow，j.移动网络的代数验证，瑞典SICS内部代表。 谷歌学者 30 Park，D.M.R，《无限序列上的并发和自动化》。 《计算机科学讲义》，第104卷。 施普林格·弗拉格，纽约，1980年 谷歌学者 数字图书馆 31 Petri，C.A.Communikation mit Automaten公司。 1962年波恩数学研究所。 德语。 谷歌学者 32 Plotkin，G.D.电力领域建筑。 SIAM j.计算。 5（1976），第452-487页。 谷歌学者 33 Reisig，W.Petri Nets。 EEATCS理论计算机科学专著，W.Brauer，G.Rozenberg，A.Solomaa，Eds.Springer-Verlag，New}York，1983年。 谷歌学者 34 雷诺兹，J.C.走向类型结构理论。 《计算机科学讲义》第19卷。 施普林格-弗拉格出版社，纽约，1974年，第408-425页。 谷歌学者 数字图书馆 35 桑吉奥吉，。 即将发表的博士论文。 爱丁堡大学，1992年。 谷歌学者 36 Tennent，R.D.程序设计语言原理。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1981年。 谷歌学者 数字图书馆 37 Thomsen，B.Caluli，用于高阶通信系统。 1990年伦敦大学帝国学院博士论文。 谷歌学者 38 面向对象编程语言的r-演算语义。 计算机软件理论方面会议论文集（日本）。 计算机科学讲义，第526卷。 施普林格-弗拉格出版社，纽约，1991年，第532-547页 谷歌学者
索引术语
互动要素：图灵奖讲座
建议
关于顺序组合、动作前缀和过程前缀 摘要 我们说明了进程代数公理化（如ACP）中的序列组合与进程计算（如CCS）中的动作前缀之间的差异。 我们在扩展ACP的通用框架中定义早期和晚期输入，并考虑。。。
