摘要
Boreale，M.和Sangiorgi，D.（1998）像素中因果关系的完全抽象语义。 信息学报 35 (5) 353-400. （一份扩展摘要发表在STACS’95会议记录中， Springer-Verlag计算机科学讲稿 900 爱丁堡大学ECS-LFCS-94-297报告中出现了一个长版本。） 谷歌学者 
交叉引用 
Boudol，G.（1992）异步与微积分（注）。 Recherche Rapport de 1702，INRIA Sophia-Antipolis。 谷歌学者 Degano，P.和Priami，C.（1995），移动流程的因果关系。 收录：Fülöp，Z.和Gécseg，F.（编辑）《1995年ICALP会议录》。 Springer-Verlag计算机科学讲稿 944 660-671. 谷歌学者 交叉引用 Fournet，C.和Gonthier，G.（1998）异步演算的等价层次。 收录：Larsen，K.G.、Skyum，S.和Winskel，G.（编辑）第25届自动化、语言和编程学术讨论会（ICALP）（丹麦奥尔堡）。 Springer-Verlag计算机科学讲稿 1443 844-855. 谷歌学者 交叉引用 Fu，Y.（1997）传播的实证理论方法。 收录人：Degano，P.、Gorrieri，R.和Marchetti-Spaccamela，A.（编辑）1997年ICALP会议记录。 Springer-Verlag计算机科学讲稿 1256 325-335. 谷歌学者 交叉引用 Gardner，P.和Wischik，L.（2000）明确融合。 在：过程。 计算机科学数学基础（MFCS）。 Springer-Verlag计算机科学讲稿 1893 . 谷歌学者 Honda，K.（2000）过程理论的基本结构（1）：具有重命名的集合。 计算机科学中的数学结构 10 (5) 617-663. 谷歌学者 数字图书馆 
Honda，K.和Tokoro，M.（1991）异步通信的对象演算。 收录于：America，P.（ed.）《1991年经济合作与政策会议录》。 Springer-Verlag计算机科学讲稿 512 133-147. 谷歌学者 交叉引用 Laneve，C.、Parrow，J.和Victor，B.（2001）单幅图表。 收录：小林，N.和皮尔斯，B.C.（编辑）Proc。 TACS 2001版。 Springer-Verlag计算机科学讲稿 2215 127-144. 谷歌学者 交叉引用 Merro，M.（2000）异步名字传递计算中的位置性和多义性。 摘自：Tiuryn，J.（编辑）《软件科学和计算结构基础第二届国际会议论文集》（FoSSaCS 2000）。 Springer-Verlag计算机科学讲稿 1784 238-251. 谷歌学者 交叉引用 Milner，R.（1993）《多元微积分：教程》。 收录人：Bauer，F.L.，Brauer，W.和Schwichtenberg，H.（编辑） 逻辑与规范代数 ，北约ASI F系列，施普林格。 （见技术报告ECS-LFCS-91-180，爱丁堡大学，1991年10月。） 谷歌学者 Milner，R.、Parrow，J.和Walker，D.（1992）移动过程微积分，第I/II部分。 信息与计算杂志 100 1-77. 谷歌学者 数字图书馆 Milner，R.和Sangiorgi，D.（1992年a）《倒钩相互模拟》。 收录：Kuich，W.（编辑）Proc。 1992年ICALP。 Springer Verlag计算机科学讲义 623 685-695. 谷歌学者 交叉引用 Milner，R.和Sangiorgi，D.（1992b）“弱互模拟”问题。 收录：Cleaveland，R.（编辑）Proc。 1992年CONCUR。 Springer-Verlag计算机科学讲稿 630 . 谷歌学者 Nestmann，U.（1997）保护选择的“好”编码是什么？ 收录：Palamidessi，C.和Parrow，J.（编辑）Proc。 97年的EXPRESS。 ENTCS公司 7 爱思唯尔科学出版社。 （1998年接受的修订版 信息与计算杂志 .) 谷歌学者 Nestmann，U.和Pierce，B.C.（1996）解码选择编码。 收录：Montanari，U.和Sassone，V.（编辑）Proc。 1996年CONCUR。 Springer-Verlag计算机科学讲稿 1119 179-194. 谷歌学者 交叉引用 Palamidessi，C.（1997）《同步微积分和异步微积分表达能力的比较》。 在： 程序。 97年流行音乐节 ，ACM 256-265。 谷歌学者 Parrow，J.（1995）交互图。 北欧计算机杂志 2 407-443. 谷歌学者 数字图书馆 Parrow，J.（2000）三重奏合奏。 收录：Plotkin，G.、Stirling，C.和Tofte，M.（编辑） 证明、语言和互动：纪念罗宾·米尔纳的论文 《计算基础》，麻省理工学院出版社621-637。 谷歌学者 Parrow，J.和Sjödin，P.（1992）用耦合互模拟验证多路同步。 收录：Cleaveland，R.（编辑）Proc。 1992年CONCUR。 Springer-Verlag计算机科学讲稿 630 518-533中。 谷歌学者 交叉引用 Parrow，J.和Victor，B.（1998年a）《融合演算：移动过程中的表达性和对称性》。 在： 程序。 LICS’98的 ，IEEE，计算机社会出版社。 谷歌学者 Parrow，J.和Victor，B.（1998年B）聚变的τ定律。 收录：Sangiorgi，D.和de Simone，R.（编辑）Proc。 混凝土’98。 Springer-Verlag计算机科学讲稿 1466 99-114. 谷歌学者 交叉引用 Sangiorgi，D.（1993） 在过程代数中表示移动性：一阶和高阶范式 爱丁堡大学LFCS博士论文（CST-99-93，另以ECS-LFCS-93-266出版） 谷歌学者 Sangiorgi，D.（1996）？演算的互模拟理论。 信息学报 33 69-97. 谷歌学者 数字图书馆 Victor，B.和Parrow，J.（1998）《融合演算中的并发约束》。 在：Larsen，K.G.、Skyum，S.和Winskel，G.（编辑）第25届自动机、语言和程序设计学术讨论会（ICALP）（丹麦奥尔堡）。 Springer-Verlag计算机科学讲稿 1443 455-469. 谷歌学者 交叉引用 Yoshida，N.（1998）异步移动过程的极小性和分离结果：并发组合子的可表示性定理。 技术报告5/98，英国苏塞克斯大学认知与计算科学学院。 Springer-Verlag计算机科学讲稿 1466 .) 谷歌学者
