迪加诺，皮尔保罗;法比奥·加杜奇;普里阿米，科拉多 通过重写逻辑实现CCS的因果语义。 （英语） Zbl 1026.68075号 西奥。计算。科学。 275，编号1-2259-282（2002）.MSC公司：2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Theor。计算。科学。275，编号1--2，259--282（2002；Zbl 1026.68075） 全文： 内政部
迪加诺，皮尔保罗;罗伯托·戈里埃里;塞巴斯蒂亚诺·维格纳 关于关联一些并发模型。 （英语） Zbl 1497.68332号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。668, 15-30 (1993).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛P.Degano｝等人，Lect。注释计算。科学。668，15-30（1993年；兹bl 1497.68332） 全文： 内政部
迪加诺，皮尔保罗;洛科·德尼古拉;乌戈·蒙塔纳里 互模拟的通用公理。 （英语） Zbl 0782.68044号 西奥。计算。科学。 114，编号1，63-91（1993）. 审核人：A.Maggiolo-Schettini（比萨） MSC公司：2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Theor。计算。科学。114，编号1，63--91（1993；Zbl 0782.68044） 全文： 内政部
迪加诺，皮尔保罗;科拉多·普里亚米 成熟的树木。 （英语） 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年；Zbl 1425.68291） 全文： 内政部
德加诺，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） 全文： 内政部
迪加诺，皮尔保罗;塞尔吉奥·马切蒂 并发的部分排序模型可以在操作上定义。 （英语） Zbl 0657.68029号 国际J并行程序。 16，第6期，451-478（1987）.MSC公司：68问题65 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit｛P.Degano｝和\textit｛S.Marchetti｝，国际J.并行程序。16，第6号，451--478（1987；Zbl 0657.68029） 全文： 内政部
迪加诺，皮尔保罗;乌戈·蒙塔纳里 并发历史：观察分布式系统的基础。 （英语） Zbl 0619.68017号 J.计算。系统。科学。 34, 422-461 (1987).MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{U.Montanari}，J.Comput。系统。科学。34222-461（1987年；兹bl 0619.68017） 全文： 内政部