拉杜·马达尔;科拉多·普里亚米 轩尼诗-米尔纳逻辑的可判定扩展。 (英语) Zbl 1225.03031号 Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229196-211(2006)。MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}和\textit{C.Priami},莱克特。注释计算。科学。4229196-211(2006;Zbl 1225.03031) 全文: 内政部
博迪,恰拉;皮耶保罗·德加诺;里卡多·福卡尔迪;科拉多·普里亚米 进程代数中身份验证的基本体。 (英语) Zbl 1050.68103号 西奥。计算。科学。 283,第2期,271-304(2002).MSC公司:68问题85 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。283,编号2271-304(2002年;兹bl 1050.68103) 全文: 内政部
博迪,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) 全文: 内政部