博迪,恰拉;皮耶保罗·德加诺;弗莱明·尼尔森;尼尔森、汉内·里斯 带安全应用程序的\(\pi\)演算的静态分析。 (英语) Zbl 1007.68118号 Inf.计算。 168,第1号,68-92(2001).MSC公司:60年第68季度 68第25页 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Inf.计算。168,第1号,68--92(2001;Zbl 1007.68118) 全文: 内政部 链接
皮耶保罗·德加诺;普里阿米,科拉多 移动进程的非交互语义。 (英语) Zbl 0914.68128号 西奥。计算。科学。 216,编号1-2,237-270(1999).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{C.Priami},Theor。计算。科学。216,编号1--2,237--270(1999;Zbl 0914.68128) 全文: 内政部