J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有策略交错的进程代数。 （英语） Zbl 1427.68181号 理论计算。系统。 63，第3期，488-505（2019）. 审核人：Tiit Riismaa（塔林） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛J.A.Bergstra｝和\textit｛C.A.Middelburg｝，理论计算。系统。63，第3号，488--505（2019年；Zbl 1427.68181） 全文： 内政部 arXiv公司
马蒂亚斯·约翰;罗兰·埃瓦尔德;阿德琳德·M·乌尔马赫。 对\（\pi\）演算的空间扩展。 （英语） Zbl 1279.68262号 尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，133-148（2008）。MSC公司：68问题85 68问题55 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.John}等人，《电子》。注释Theor。计算。科学。194，编号3，133-148（2008年；兹bl 1279.68262） 全文： 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 混合系统的进程代数。 （英语） Zbl 1080.68073号 西奥。计算。科学。 335，编号2-3，215-280（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg}，Theor。计算。科学。335，编号2--3，215--280（2005；Zbl 1080.68073） 全文： 内政部 链接
加利福尼亚州米德尔堡。 回顾进程代数中的计时。 （英语） Zbl 1051.68110号 J.日志。阿尔盖布。程序。 54，编号1-2，109-127（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg}，J.Log。阿尔盖布。程序。54，编号1--2，109-127（2003；Zbl 1051.68110） 全文： 内政部
弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 关于持续动作的语义。 （英语） Zbl 0983.68116号 西奥。计算。科学。 269，编号1-2，47-82（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，Theor。计算。科学。269，编号1--2，47-82（2001；Zbl 0983.68116） 全文： 内政部
巴顿，J.C.M。;加利福尼亚州米德尔堡。 具有时间相关条件的实时进程代数。 （英语） Zbl 0992.68152号 J.日志。阿尔盖布。程序。 48，第1-2、1-38号（2001年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{C.A.Middelburg}，J.Log。阿尔盖布。程序。48，编号1--2，1--38（2001；Zbl 0992.68152） 全文： 内政部
巴顿，J.C.M。;J.A.伯格斯特拉。 离散时间过程代数。 （英语） Zbl 0849.68033号 正式Asp。计算。 8，第2期，188-208（1996）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。8，编号2188-208（1996年；Zbl 0849.68033） 全文： 内政部
巴顿，J.C.M。;J.A.伯格斯特拉。 具有抽象的离散时间过程代数。 （英语） Zbl 1504.68137号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965，1-15（1995）中描述。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，莱克特。注释计算。科学。965，1-15（1995年；Zbl 1504.68137） 全文： 内政部 链接