阿德里安·弗兰卡兰扎;马修·轩尼诗 观测容错理论。 (英语) Zbl 1123.68080号 J.日志。代数。程序。 73,第1-2号,22-50(2007).MSC公司:第68季度85 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{M.Hennessy},J.Log。代数。程序。73,编号1--2,22-50(2007;Zbl 1123.68080) 全文: 内政部 链接
马修·轩尼诗 安全计算和不干涉。 (英语) 兹比尔1067.68096 J.日志。代数。程序。 63,第1期,第3-34页(2005年).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy},J.Log。代数。程序。63,第1号,第3--34号(2005;Zbl 1067.68096) 全文: 内政部 链接