博迪，C。;P.德加诺。;C·普里亚米。 本地处理的\（\pi\）-演算代理的名称。 （英语） Zbl 0956.68007号 西奥。计算。科学。 253，第2期，155-184（2001）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Theor。计算。科学。253，第2号，155--184（2001；Zbl 0956.68007） 全文： DOI程序
因弗拉迪，保拉;科拉多·普里亚米 分布式系统的自动验证：进程代数方法。 （英语） 兹比尔1425.68294 形式方法系统。设计。 8，第1期，7-38（1996）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}和\textit{C.Priami}，《形式方法系统》。设计。8，第1号，第7--38号（1996年；Zbl 1425.68294） 全文： DOI程序
皮耶保罗·德加诺;科拉多·普里亚米 移动流程的因果关系。 （英语） Zbl 1412.68149号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 660-671 (1995).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{C.Priami}，莱克特。注释计算。科学。944660-671（1995年；Zbl 1412.68149） 全文： DOI程序
科拉多·普里亚米;丹尼尔·扬克列维奇 读写因果关系。 （英语） Zbl 1493.68254号 Privara，Igor（编辑）等人，《1994年计算机科学的数学基础》。1994年8月22日至26日，斯洛伐克科希策，第19届国际研讨会，MFCS’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。841, 567-576 (1994).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Priami}和\textit{D.Yanklevich}，莱克特。注释计算。科学。841567--576（1994年；Zbl 1493.68254） 全文： DOI程序
保拉·因弗拉迪;普里阿米，科拉多;丹尼尔·扬克列维奇 分布式并发系统参数推理自动化。 （英语） 兹比尔0829.68052 正式Asp。计算。 6，第6号，676-695（1994）.MSC公司：2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}等人，正式Asp。计算。6，第6号，676--695（1994；Zbl 0829.68052） 全文： DOI程序
保拉·因弗拉迪;科拉多·普里亚米;丹尼尔·扬克列维奇 参数互模拟的扩展转换系统。 （英语） Zbl 1422.68169号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 558-569 (1993).MSC公司：68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}等人，Lect。注释计算。科学。700、558--569（1993年；Zbl 1422.68169） 全文： DOI程序
皮耶保罗·德加诺;科拉多·普里亚米 成熟的树木。 （英语） Zbl 1425.68291号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 629-640 (1992).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{C.Priami}，莱克特。注释计算。科学。623629-640（1992年；兹比尔1425.68291） 全文： DOI程序