A.罗曼内尔。;C·普里亚米。 关于β-结合物结构同余的可判定性和复杂性。 (英语) Zbl 1151.68040号 西奥。计算。科学。 404,编号1-2,156-169(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。404,编号1--2,156-169(2008;Zbl 1151.68040) 全文: 内政部 链接
费德里卡·乔切塔;科拉多·普里亚米 定量模型的生物交易。 (英语) Zbl 1277.68173号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,55-67(2007)。MSC公司:68问题85 第68季度55 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciocchetta}和\textit{C.Priami},电子。注释Theor。计算。科学。171,第2号,第55-67条(2007;Zbl 1277.68173) 全文: 内政部
皮耶保罗·德加诺;法比奥·加杜奇;普里阿米,科拉多 通过重写逻辑实现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 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) 全文: 内政部
科拉多·普里亚米;丹尼尔·扬克列维奇 读写因果关系。 (英语) 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) 全文: 内政部
保拉·因弗拉迪;普里阿米,科拉多;丹尼尔·扬克列维奇 分布式并发系统参数推理自动化。 (英语) 兹比尔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) 全文: 内政部
皮耶保罗·德加诺;科拉多·普里亚米 成熟的树木。 (英语) 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) 全文: 内政部