法比奥·加杜奇;乌戈·蒙塔纳里 移动环境的并发图语义。 （英语） Zbl 1260.68094号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，88-105（2001）。MSC公司：68号30 第68季度第42季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛F.Gadducci｝和\textit｛U.Montanari｝，电子。注释Theor。计算。科学。45、88——105（2001年；Zbl 1260.68094） 全文： 内政部
弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 关于持续动作的语义。 （英语） 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） 全文： 内政部
轩尼诗，M。;Lin，H。;J.Rathke。 消息传递过程计算的独特定点归纳。 （英语） Zbl 0998.68089号 科学。计算。程序。 41，第3期，241-275（2001）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}等人，科学。计算。程序。41，第3号，241--275（2001；Zbl 0998.68089） 全文： 内政部
桑吉奥吉，D。 异步过程计算：一阶和高阶范式。 （英语） Zbl 0956.68081号 西奥。计算。科学。 253，第2期，311-350（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。253，编号2，311--350（2001；Zbl 0956.68081） 全文： 内政部