露西娅·阿西艾;米歇尔·博雷尔 通过行为类型确定无限状态pi演算中的安全属性。 (英语) Zbl 1279.68192号 Inf.计算。 212, 92-117 (2012).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Acciai}和\textit{M.Boreale},Inf.计算。212、92-117(2012年;Zbl 1279.68192) 全文: 内政部
路易斯·凯雷斯 分布式系统中并发和资源控制的空间行为类型。 (英语) Zbl 1146.68018号 西奥。计算。科学。 402,编号2-3,120-141(2008).MSC公司:64岁以下 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Caires},Theor。计算。科学。402,编号2--3,120-141(2008;Zbl 1146.68018) 全文: 内政部