加文·洛 运行进程的多个副本的CSP优化测试。 （英语） Zbl 1339.68169号 Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，153-170（2009）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe}，电子。注释Theor。计算。科学。250，第1号，153--170（2009；Zbl 1339.68169） 全文： DOI程序
托比·默里;洛维，加文 关于精化闭安全属性和不确定性组合。 （英语） Zbl 1335.68179号 Miller，Alice（编辑）等人，《第八届关键系统自动验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，49-68（2009）。MSC公司：68问题85 68个M12 65年第68季度 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Murray}和\textit{G.Lowe}，电子。注释Theor。计算。科学。250，编号2，49-68（2009；Zbl 1335.68179） 全文： DOI程序
加文·洛 信息流的语义模型。 （英语） Zbl 1072.68060号 西奥。计算。科学。 315，第1期，209-256（2004）.MSC公司：68问题55 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \文本{G.Lowe}，Theor。计算。科学。315，第1号，209--256（2004；Zbl 1072.68060） 全文： DOI程序 链接