Owe、Olaf;查理·麦克道尔 在异步通信并发对象系统中检测超紧急并发。 (英语) Zbl 1371.68198号 J.日志。阿尔盖布。方法计划。 90, 158-175 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe}和\textit{C.McDowell},J.Log。阿尔盖布。方法计划。90、158--175(2017年;Zbl 1371.68198) 全文: 内政部
劳尔·帕尔多;穆萨德·巴利乌;杰拉尔多·施奈德 规范社交网络中的隐私政策。 (英语) Zbl 1371.68076号 J.日志。阿尔盖布。方法计划。 90, 125-157 (2017).MSC公司:第68页第25页 68T27型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Pardo}等人,J.Log。阿尔盖布。方法计划。90125-157(2017年;Zbl 1371.68076) 全文: 内政部 链接
鲁道夫·伯哈默;Stucke,Insa公司;温特,迈克尔 使用关系代数方法和工具支持来研究和计算两分法。 (英语) Zbl 1371.68170号 J.日志。阿尔盖布。方法计划。 90, 102-124 (2017).MSC公司:第68季度55 03月20日 03G15年 18磅10英寸 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。90、102-124(2017年;Zbl 1371.68170) 全文: 内政部
Hitoshi Furusawa;川原康夫;乔治·斯特鲁斯;北海市津马加里 Kleisli、Parikh和Peleg为多重关系创作和提升作品。 (英语) Zbl 1371.68171号 J.日志。阿尔盖布。方法计划。 90, 84-101 (2017).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}等人,J.Log。阿尔盖布。方法计划。90,84-101(2017;Zbl 1371.68171) 全文: 内政部 arXiv公司
伯纳多·托尼霍;吉田、Nobuko 以多方会话类型验证数据。 (英语) Zbl 1371.68201号 J.日志。阿尔盖布。方法计划。 90, 61-83 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Toninho}和\textit{N.Yoshida},J.Log。阿尔盖布。方法计划。90、61-83(2017年;Zbl 1371.68201) 全文: 内政部
蒂亚戈·科古姆布雷罗;朱·谢拉科(Jun Shirako);维威克·萨卡尔 使用Coq对Habanero相位器进行形式化。 (英语) Zbl 1371.68050号 J.日志。阿尔盖布。方法计划。 90, 50-60 (2017).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Coumbreiro}等人,J.日志。阿尔盖布。方法计划。90,50-60(2017年;兹比尔1371.68050) 全文: 内政部 arXiv公司
维维亚娜·博诺;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;贝蒂·文内里 智能会话的数据驱动适应。 (英语) Zbl 1371.68188号 J.日志。阿尔盖布。方法计划。 90, 31-49 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Bono}等人,J.Log。阿尔盖布。方法计划。90,31-49(2017;Zbl 1371.68188) 全文: 内政部 链接
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 基于会话的并发中的可逆性:一个新的外观。 (英语) Zbl 1371.68194号 J.日志。阿尔盖布。方法计划。 90, 2-30 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Mezzina}和\textit{J.A.Pérez},J.Log。阿尔盖布。方法计划。90,2--30(2017;Zbl 1371.68194) 全文: 内政部 链接
多米尼克·乌节(编辑);吉田、Nobuko(编辑) 客座编辑前言。 (英语) Zbl 1366.00071号 J.日志。阿尔盖布。方法计划。 90, 1 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard}(编辑)和\textit{N.Yoshida}(主编),J.Log。阿尔盖布。方法计划。90,1(2017年;Zbl 1366.00071) 全文: 内政部