×

找到9个文档（结果1-9）

最新的 引文 关联
路易斯·凯雷斯；佩雷斯（Jorge A.Pérez）。；弗兰克·芬宁；伯纳多·托尼霍

域软件会话类型。 （英语） Zbl 07649947号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第39条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}等人，LIPIcs——莱布尼茨国际程序。通知。140，第39条，第17页（2019年；Zbl 07649947）
全文： 内政部 arXiv公司
卢埃萨·卢伦索；路易斯·凯雷斯

有值索引数据安全分区的信息流分析。 （英语） 兹比尔1348.68019

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358180-198（2014）。
MSC公司：64岁以下 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛L.Lourenço｝和\textit｛L.Caires｝，Lect。票据计算。科学。8358，180--198（2014；Zbl 1348.68019）
全文： 内政部
路易斯·凯雷斯；佩雷斯（Jorge A.Pérez）。；乔·科斯塔·塞科；雨果·托雷斯·维埃拉；卢西奥，费朗

数据中心系统中基于类型的访问控制。 （英语） Zbl 1326.68082号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602136-155（2011）。
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}等人，Lect。票据计算。科学。6602136--155（2011年；Zbl 1326.68082）
全文： 内政部
路易斯·凯雷斯；雨果·托雷斯·维埃拉

分布式系统中空间观测的扩展性。 （英语） Zbl 1277.68169号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，131-149（2007）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{H.T.Vieira}，电子。注释Theor。计算。科学。175，第3号，131-149（2007年；兹bl 1277.68169）
全文： 内政部
路易斯·凯雷斯

空间行为类型、分布式服务和资源。 （英语） Zbl 1211.68026号

Montanari，Ugo（编辑）等人，《值得信赖的全球计算》。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75333-9/pbk）。计算机科学课堂讲稿466198-115（2007）。
MSC公司：64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}，莱克特。票据计算。科学。4661，98-115（2007；Zbl 1211.68026）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件