×

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

最新的 引文 关联
帕特里克·贝洛特;亚历克西斯·盖塞伦

像素计算中并行计算复杂性的类型。 （英语） Zbl 1473.68111号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 59-86 (2021).
MSC公司：68问题85 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}和\textit{A.Ghyselen}，莱克特。注释计算。科学。12648，59-86（2021；Zbl 1473.68111）
全文： 内政部 哈尔
李锡盟;海科·曼特尔;马库斯·塔什

在关于机密性的合成推理中驯服消息传递通信。 （英语） Zbl 1503.68040号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 45-66 (2017).
MSC公司：68甲19 2010年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}等人，Lect。注释计算。科学。10695，45-66（2017；Zbl 1503.68040）
全文： 内政部
Kai Stadtmüller;马丁·苏尔兹曼;彼得·蒂曼

用于同步Mini-Go的基于静态跟踪的死锁分析。 （英语） Zbl 1483.68056号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 116-136 (2016).
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Stadtmüller}等人，Lect。注释计算。科学。10017、116--136（2016；Zbl 1483.68056）
全文： 内政部 arXiv公司
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;Dezani Ciancaglini，马里亚焦拉;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉

将行为类型与安全分析相结合。 （英语） Zbl 1330.68045号

J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法计划。84，第6号，763--780（2015；Zbl 1330.68045）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件