托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼 pi-calculus的稳定的无干扰早期操作语义。 （英文） Zbl 1423.68308号 J.日志。阿尔盖布。方法计划。 104, 227-253 (2019).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Hildebrandt}等人，J.Log。阿尔盖布。方法程序。104、227--253（2019年；Zbl 1423.68308） 全文： 内政部
休伯特·加拉维 嵌套单位Petri网。 （英文） Zbl 1427.68195号 J.日志。阿尔盖布。方法计划。 104, 60-85 (2019). 审核人：安蒂·瓦尔马里（Jyväskylä） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}，J.Log。阿尔盖布。方法程序。104、60-85（2019年；Zbl 1427.68195） 全文： 内政部 哈尔
维克托·戴瑟林;罗布·范格拉贝克;彼得·霍夫纳 使用带信号的进程代数分析互斥。 （英文） Zbl 1483.68227号 Peters，Kirstin（编辑）等人，《第24届并发表达性国际研讨会和第14届结构操作语义研讨会联合会议论文集》，EXPRESS/SOS 2017，德国柏林，2017年9月4日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）255，18-34（2017）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Dyseryn}等人，《电子》。程序。西奥。计算。科学。（EPTCS）255，18-34（2017；Zbl 1483.68227） 全文： arXiv公司 链接
杰拉德·布多尔;伊利亚州卡斯特拉尼;马修·轩尼诗;尼尔森，莫根斯;格林·温斯克尔 二十年过去了：对CEDISYS项目的反思。将真正的并发性与进程代数相结合。 （英文） Zbl 1143.68475号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065757-777（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，Lect。注释计算。科学。5065757--777（2008年；Zbl 1143.68475） 全文： 内政部
佩德罗·R·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。二： 进程代数。 （英文） Zbl 1106.68073号 Inf.计算。 203，第1期，39-74（2005）.MSC公司：68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen}，Inf.Compute。203，第1号，39--74（2005；Zbl 1106.68073） 全文： 内政部
J.瑞利。;轩尼诗，M。 分布式进程和位置故障。 （英文） Zbl 0989.68007号 西奥。计算。科学。 266，第1-2号，693-735（2001）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Riely}和\textit{M.Hennessy}，Theor。计算。科学。266，编号1--2，693--735（2001；Zbl 0989.68007） 全文： 内政部
戴维·桑吉奥吉 移动进程计算中的位置和交错语义。 （英文） Zbl 0874.68115号 西奥。计算。科学。 155，第1号，39-83（1996）.MSC公司：2010年第68季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。155，编号1，39-83（1996年；Zbl 0874.68115） 全文： 内政部
金·苏内森;尼尔森，莫根斯 无限系统的行为等效性-部分可判定！ （英文） Zbl 1418.68154号 Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1091, 460-479 (1996).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛K.Sunesen｝和\textit｛M.Nielsen｝，Lect。注释计算。科学。1091460--479（1996年；Zbl 1418.68154） 全文： 内政部
乌戈·蒙塔纳里;丹尼尔·扬克列维奇 参数设置中的位置等效。 （英文） 兹伯利0874.68122 西奥。计算。科学。 149，第2期，299-332（1995）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{D.Yanklevich}，Theor。计算。科学。149，第2号，299--332（1995；Zbl 0874.68122） 全文： 内政部
A.基恩。 比较基于位置和因果关系的等效性。 （英文） Zbl 0834.68070号 学报信息。 31，第8期，697-718（1994）. 审核人：A.基恩 MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiehn}，Acta Inf.31，No.8，697--718（1994；Zbl 0834.68070） 全文： 内政部
弗拉维奥·科拉迪尼;De Nicola，罗科 并发系统的分布和位置。 （英文） Zbl 1418.68137号 Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 154-165 (1994).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{R.De Nicola}，莱克特。注释计算。科学。820154--165（1994年；Zbl 1418.68137） 全文： 内政部
Aceto，卢卡 位置的静态视图。 （英文） Zbl 0806.68069号 正式Asp。计算。 6，第2期，201-222（1994）.MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}，正式Asp。计算。6，第2号，201--222（1994；Zbl 0806.68069） 全文： 内政部
G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 具有局部性的过程理论。 （英文） Zbl 0806.68070号 正式Asp。计算。 6，第2期，165-200（1994）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，正式Asp。计算。6，编号2165-200（1994年；兹bl 0806.68070） 全文： 内政部