达尼尔·霍帕西;佩特尔·贝雷茨基;西蒙·汤普森 非类型化的、按调用值的函数语言与未附带函数的程序等价性。 (英语) 兹伯利07665441 J.日志。代数。方法计划。 132,文章ID 100857,22 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Horpácsi}等人,J.Log。代数。方法计划。132,文章ID 100857,22 p.(2023;Zbl 07665441) 全文: 内政部 arXiv公司
克莱门·奥伯特;丹尼尔·瓦拉卡 针对测试的过程:定义上下文等效性。 (英语) Zbl 07595225号 J.日志。代数。方法计划。 129,文章ID 100799,18 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{D.Varacca},J.Log。代数。方法计划。129,文章ID 100799,18 p.(2022;Zbl 07595225) 全文: 内政部 arXiv公司
Kai Bavendiek先生;西比尔·舒普 基于位置的服务系统中隐私保护协议的过程演算。 (英语) Zbl 07485816号 J.日志。代数。方法计划。 125,文章ID 100735,30 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Bavendiek}和\textit{S.Schupp},J.Log。代数。方法计划。125,文章ID 100735,30 p.(2022;Zbl 07485816) 全文: 内政部
乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 将补偿处理的原语作为可适应的进程。 (英语) Zbl 1518.68231号 J.日志。代数。方法计划。 121,文章ID 100675,65 p.(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dedeić}等人,J.Log。代数。方法计划。121,文章ID 100675,第65页(2021;Zbl 1518.68231) 全文: 内政部 链接
伊万·普罗基奇;雨果·托雷斯·维埃拉 (C_\pi\)-演算:机密名称传递的模型。 (英语) Zbl 1455.68128号 J.日志。代数。方法计划。 119,文章ID 100622,32 p.(2021).MSC公司:68问题85 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}和\textit{H.T.Vieira},J.Log。代数。方法计划。119,文章ID 100622,32 p.(2021;Zbl 1455.68128) 全文: 内政部 arXiv公司
罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 无替代性:分离过程结石的标准。 (英语) Zbl 1462.68126号 J.日志。代数。方法计划。 116,文章ID 100579,32 p.(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Pugliese}和\textit{F.Tiezzi},J.Log。代数。方法计划。116,文章ID 100579,32 p.(2020;Zbl 1462.68126) 全文: 内政部
洛科·德尼古拉;Gianluigi法拉利;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 特定于域的分布式系统工程的正式方法。 (英语) Zbl 1494.68022号 J.日志。代数。方法计划。 111,文章ID 100511,37 p.(2020).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,J.Log。代数。方法计划。111,文章ID 100511,37 p.(2020;Zbl 1494.68022) 全文: 内政部 arXiv公司
克里斯蒂安·约翰森;Owe、Olaf 动态结构操作语义。 (英语) Zbl 1431.68061号 J.日志。代数。方法计划。 10779-107(2019).MSC公司:第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Johansen}和\textit{O.Owe},J.Log。代数。方法计划。107、79-107(2019年;Zbl 1431.68061) 全文: 内政部 arXiv公司
毛里西奥·托罗 生态系统个性化建模的形式语言概述。 (英语) Zbl 1423.68318号 J.日志。代数。方法计划。 104, 117-126 (2019).MSC公司:68问题85 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Toro},J.Log。代数。方法计划。104117-126(2019年;Zbl 1423.68318) 全文: 内政部 arXiv公司
巴特·雅各布斯 从概率单子到交换效应。 (英语) Zbl 1382.68073号 J.日志。代数。方法计划。 94, 200-237 (2018).MSC公司:2005年第68季度 18立方厘米20 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},J.Log。代数。方法计划。94、200-237(2018;Zbl 1382.68073) 全文: 内政部 链接
埃纳尔·布罗赫·约翰森;马丁·斯特芬;Johanna Beate Stumpf 虚拟定时环境:嵌套虚拟化的演算。 (英语) Zbl 1381.68205号 J.日志。代数。方法计划。 94, 109-127 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。代数。方法计划。94109-127(2018年;兹比尔1381.68205) 全文: 内政部 链接
斯特凡尼德劳恩;卢卡·赫斯基 在密码协议中建立基于等价的属性的符号方法综述。 (英语) Zbl 1359.68023号 J.日志。代数。方法计划。 87, 127-144 (2017).MSC公司:68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi},J.Log。代数。方法计划。87、127--144(2017;Zbl 1359.68023) 全文: 内政部 arXiv公司
安东尼娜·奈菲沃达 作为前缀文法的乒乓协议:通过程序转换进行建模和验证。 (英语) Zbl 1348.68084号 J.日志。代数。方法计划。 85,第5号,第1部分,782-804(2016).MSC公司:2012年第68季度 68号30 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nepevoda},J.Log。代数。方法计划。85,第5号,第1部分,782-804(2016;兹bl 1348.68084) 全文: 内政部
哈贡诺曼;克里斯蒂安·约翰森;托马斯·希尔德布兰特 psi-calculi中基于声明事件的并发和优化模型。 (英语) Zbl 1352.68188号 J.日志。代数。方法计划。 85,第3期,368-398(2016).MSC公司:68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.Normann}等人,J.Log。代数。方法计划。85,第3号,368--398(2016;Zbl 1352.68188) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 并发加权逻辑。 (英语) Zbl 1330.68210号 J.日志。代数。方法计划。 84,第6期,884-897(2015).MSC公司:68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,J.Log。代数。方法计划。84,第6号,884--897(2015;Zbl 1330.68210) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;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公司
贝纳姆萨塔扎德;Mehran S·法拉。 在存在折衷主体的情况下,对注入协议进行基于类型的自动分析。 (英语) Zbl 1337.68193号 J.日志。代数。方法计划。 84,第5期,576-610(2015).MSC公司:68问题85 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Sattarzadeh}和\textit{M.S.Fallah},J.Log。代数。方法计划。84,第5号,576--610(2015;Zbl 1337.68193) 全文: 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) 兹比尔1329.68169 J.日志。代数。方法计划。 84,第4期,505-533(2015).MSC公司:第68季度55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer},J.Log。代数。方法计划。84,第4号,505--533(2015;Zbl 1329.68169) 全文: 内政部