安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 将过渡系统划分为结构化余代数。 （英语） Zbl 0944.18006号 乔巴努、加布里埃尔（编辑）等，《计算理论基础》。第12届国际研讨会，FCT’99。1999年8月30日至9月3日，罗马尼亚伊阿什伊。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1684, 13-38 (1999). 审核人：A.Maggiolo-Schettini（比萨） MSC公司：18 C50 2010年第68季度 18D05日 16瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，Lect。注释计算。科学。1684，13-38（1999；Zbl 0944.18006）
乌戈·蒙塔纳里;弗拉迪米罗·萨松 CCS动态互模拟正在进行中。 （英语） Zbl 0776.68082号 计算机科学数学基础。第16国际交响乐团。，卡齐米日·多尔尼/波尔。1991年，勒克特。注释计算。科学。520346-356（1991）中所述。MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{V.Sassone}，莱克特。注释计算。科学。520、346--356（1991年；Zbl 0776.68082）
P.德加诺。;R·德·尼古拉。;美国蒙塔纳里。 CCS的部分排序语义。 （英语） Zbl 0701.68073号 西奥。计算。科学。 75，第3期，223-262（1990年）.MSC公司：68问题55 06年06月06日 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Theor。计算。科学。75，第3号，223--262（1990；Zbl 0701.68073） 全文： DOI程序