加文·洛 具有可用性信息的CSP模型。 （英语） Zbl 1362.68217号 数学。结构。计算。科学。 26，第6期，1022-1053（2016）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe}，数学。结构。计算。科学。26，第6号，1022--1053（2016；Zbl 1362.68217） 全文： 内政部 arXiv公司
托马斯·马祖;加文·洛 CSP/FDR设置中的计数器抽象。 （英语） Zbl 1339.68170号 Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》250，第1期，171-186（2009）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Mazur}和\textit{G.Lowe}，电子。注释Theor。计算。科学。250，第1号，171--186（2009；Zbl 1339.68170） 全文： 内政部
加文·洛 运行进程的多个副本的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） 全文： 内政部
加文·洛 通信过程规范：时序逻辑与基于拒绝的细化。 （英语） Zbl 1149.68056号 正式Asp。计算。 20，第3期，277-294（2008）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe}，正式Asp。计算。20，第3号，277--294（2008；Zbl 1149.68056） 全文： 内政部 链接
戈登·托马斯·罗尔梅尔;加文·洛 在入侵检测系统分析中使用数据相关性。 （英语） Zbl 1142.68446号 西奥。计算。科学。 340，第1期，82-101（2005）.MSC公司：68问题85 68M10个 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Rohrmair}和\textit{G.Lowe}，Theor。计算。科学。340，第1号，82--101（2005；Zbl 1142.68446） 全文： 内政部 链接
克里斯蒂·博尔顿;加文·洛 基于失效模型的层次结构：理论与应用。 （英语） Zbl 1078.68104号 西奥。计算。科学。 330，编号3，407-438（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bolton}和\textit{G.Lowe}，Theor。计算。科学。330，第3号，407--438（2005；Zbl 1078.68104） 全文： 内政部
加文·洛 信息流的语义模型。 （英语） 兹比尔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） 全文： 内政部 链接
菲利普·布罗德富特;加文·洛 使用模型检查分析流身份验证协议。 （英语） Zbl 1482.68068号 Gollmann，Dieter（编辑）等人，《计算机安全–ESORICS 2002》。第七届欧洲计算机安全研究研讨会，2002年10月14日至16日，瑞士苏黎世。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2502, 146-162 (2002).MSC公司：68平方米25 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{P.Broadfoot}和\textit{G.Lowe}，Lect。注释计算。科学。2502146-162（2002年；Zbl 1482.68068） 全文： 内政部
加文·洛 定时CSP的概率和优先级模型。 （英语） Zbl 0874.68163号 西奥。计算。科学。 138，第2期，315-352（1995）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Lowe}，Theor。计算。科学。138，第2号，315--352（1995；Zbl 0874.68163） 全文： 内政部