路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。 线性、控制效果和行为类型。 （英语） Zbl 1485.68055号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 229-259 (2017).理学硕士：68号30 03楼52 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{J.A.Pérez}，莱克特。注释计算。科学。10201、229--259（2017；Zbl 1485.68055） 全文： 内政部 链接
路易斯·凯雷斯 分布式系统中并发和资源控制的空间行为类型。 （英语） Zbl 1146.68018号 西奥。计算。科学。 402，编号2-3，120-141（2008）。理学硕士：64岁以下 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本｛L.Caires｝，Theor。计算。科学。402，编号2--3，120-141（2008；Zbl 1146.68018） 全文： 内政部
路易斯·凯雷斯;艾蒂安·洛兹 消除空间逻辑中的量词和不确定性以实现并发。 （英语） Zbl 1097.68085号 西奥。计算。科学。 358，编号2-3，293-314（2006）。理学硕士：68问题85 60年第68季度 03B70号 03B25号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit｛L.Caires｝和\textit｛E.Lozes｝，Theor。计算。科学。358，编号2--3，293--314（2006；Zbl 1097.68085） 全文： 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。二、。 （英语） Zbl 1050.68104号 西奥。计算。科学。 322，编号3517-565（2004）。理学硕士：68问题85 03B70号 03B45号 05年3月 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，Theor。计算。科学。322，第3号，517--565（2004；Zbl 1050.68104） 全文： 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。一、。 （英语） Zbl 1068.03022号 Inf.计算。 186，第2期，194-235（2003）。 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） 理学硕士：03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，信息计算。186，第2号，194--235（2003；Zbl 1068.03022） 全文： 内政部