罗兰·巴克豪斯;何塞·努诺·奥利维拉 关于双函数。 (英语) Zbl 07723899号 J.日志。阿尔盖布。方法计划。 134,文章ID 100878,24 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.N.Oliveira},J.Log。阿尔盖布。方法程序。134,文章ID 100878,第24页(2023;Zbl 07723899) 全文: 内政部
哈菲迪,Y。;德文克,E.P。 使用Petri网对基于组件的系统进行重构建模的概念构建块。 (英语) Zbl 07618120号 J.日志。阿尔盖布。方法计划。 130,文章ID 100813,16 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hafidi}和\textit{E.P.de Vink},J.Log。阿尔盖布。方法程序。130,文章ID 100813,16 p.(2023;Zbl 07618120) 全文: 内政部
刘艾;刘少英;孙孟 概率调解人:联合大脑的观点。 (英语) Zbl 07595227号 J.日志。阿尔盖布。方法计划。 129,文章ID 100808,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Liu}等人,J.Log。阿尔盖布。方法程序。129,文章ID 100808,16 p.(2022;Zbl 07595227) 全文: 内政部
本杰明·利昂;法哈德·阿尔巴;卡罗琳·塔尔科特 用于交互网络物理系统的语义模型。 (英语) Zbl 07595226号 J.日志。阿尔盖布。方法计划。 129,文章ID 100807,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Lion}等人,J.Log。阿尔盖布。方法程序。129,文章ID 100807,25 p.(2022;Zbl 07595226) 全文: 内政部 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公司 哈尔
本杰明·利昂;法哈德·阿尔巴;卡罗琳·塔尔科特 分布式网络物理系统的正式框架。 (英语) Zbl 07576525号 J.日志。阿尔盖布。方法计划。 128,文章ID 100795,14 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Lion}等人,J.Log。阿尔盖布。方法程序。128,文章ID 100795,14 p.(2022;Zbl 07576525) 全文: 内政部 arXiv公司
冯慧;马塞洛·邦桑格;本杰明·利昂 从符号约束自动机到Promela。 (英语) Zbl 07576524号 J.日志。阿尔盖布。方法计划。 128,文章ID 100794,19 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Feng}等人,J.Log。阿尔盖布。方法程序。128,文章ID 100794,19 p.(2022;Zbl 07576524) 全文: 内政部
马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 Moessner定理的形式化及其推广Nuprl公司. (英语) Zbl 07432496号 J.日志。阿尔盖布。方法计划。 124,文章ID 100713,6 p.(2022).MSC公司:03B35型 11立方英尺83 13层25 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,J.Log。阿尔盖布。方法程序。124,文章ID 100713,6 p.(2022;Zbl 07432496) 全文: 内政部
直纪西田;南弥州奈瓦 通过上下文无关表达式确定倒置语法程序。 (英语) Zbl 1528.68164号 J.日志。阿尔盖布。方法计划。 122,文章ID 100688,第26页(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{M.Niwa},J.Log。阿尔盖布。方法程序。122,文章ID 100688,26 p.(2021;Zbl 1528.68164) 全文: 内政部
Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英语) 兹比尔1455.68087 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,第17页(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。118,文章ID 100615,17 p.(2021;Zbl 1455.68087) 全文: 内政部 链接
洛科·德尼古拉;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公司
盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 并发图形再写过程的微积分。 (英语) Zbl 1494.68115号 J.日志。阿尔盖布。方法计划。 110,文章ID 100500,27 p.(2020).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kulcsár}等人,J.Log。阿尔盖布。方法程序。110,文章ID 100500,27 p.(2020;Zbl 1494.68115) 全文: 内政部
格科·范·海尔特;约书亚·默曼;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 简洁自动机的(协同)代数理论。 (英语) Zbl 1423.68300号 J.日志。阿尔盖布。方法计划。 105, 112-125 (2019).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.van Heerdt}等人,J.Log。阿尔盖布。方法程序。105112-125(2019年;兹比尔1423.68300) 全文: 内政部 arXiv公司
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 (英语) Zbl 1417.68134号 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司:68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,J.日志。阿尔盖布。方法程序。103、130-153(2019年;Zbl 1417.68134) 全文: 内政部 arXiv公司
马里奥·布拉维蒂 马尔科夫过程代数中的约简语义。 (英语) Zbl 1430.68160号 J.日志。阿尔盖布。方法计划。 96, 41-64 (2018).MSC公司:68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti},J.Log(J·洛格)。阿尔盖布。方法程序。96、41-64(2018年;Zbl 1430.68160) 全文: 内政部 arXiv公司
戴维·斯普伦格 有限集函子余代数中行为等价的完整逻辑。 (英语) Zbl 1382.68155号 J.日志。阿尔盖布。方法计划。 94, 184-199 (2018).MSC公司:68问题85 03B70号 03G30型 18A22型 PDF格式BibTeX公司 XML格式引用 \textit{D.Sprunger},J.Log。阿尔盖布。方法程序。94、184--199(2018年;Zbl 1382.68155) 全文: 内政部 哈尔
Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙·布利兹 合并与征服:关联BIP和Reo。 (英语) 兹比尔1353.68201 J.日志。阿尔盖布。方法计划。 86,第1期,134-156(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。86,第1号,134--156(2017;Zbl 1353.68201) 全文: 内政部 链接
朱里安·罗特;马塞洛·邦桑格 双代数语义的结构同余。 (英语) Zbl 1353.68173号 J.日志。阿尔盖布。方法计划。 85,第6期,1268-1291(2016).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}和\textit{M.Bonsange},J.Log。阿尔盖布。方法程序。85,第6号,1268--1291(2016;Zbl 1353.68173) 全文: 内政部
彼得·吉普森;M.Andrew Moshier 带有测试和分支自动机的并发Kleene代数。 (英语) Zbl 1344.68083号 J.日志。阿尔盖布。方法计划。 85,第4期,637-652(2016).MSC公司:2010年第68季度 68号30 68问题55 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}和\textit{M.A.Moshier},J.Log。阿尔盖布。方法程序。85,第4号,637--652(2016;Zbl 1344.68083) 全文: 内政部
亚历山大·库兹;吉·维勒比尔 关系解除,一项调查。 (英语) 兹比尔1344.68167 J.日志。阿尔盖布。方法计划。 85,第4号,475-499(2016).MSC公司:68问题85 03B45号 03G30型 18A40型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurz}和\textit{J.Velebil},J.Log。阿尔盖布。方法程序。85,第4号,475--499(2016;Zbl 1344.68167) 全文: 内政部
何塞·努诺·奥利维拉;维克托·卡奇亚里·米拉尔多 “保持定义,改变类别”——一种基于状态的系统计算的实用方法。 (英语) Zbl 1344.68150号 J.日志。阿尔盖布。方法计划。 85,第4期,449-474(2016).MSC公司:70年第68季度 18个C20 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}和\textit{V.C.Miraldo},J.Log。阿尔盖布。方法程序。85,第4号,449--474(2016;Zbl 1344.68150) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 Petri网因果关系的联合语义。 (英语) Zbl 1330.68196号 J.日志。阿尔盖布。方法计划。 84,第6号,853-883(2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,J.Log。阿尔盖布。方法程序。84,第6号,853--883(2015;Zbl 1330.68196) 全文: 内政部 arXiv公司
托马斯·布伦戈斯;马里诺·米库兰;马尔科·佩雷索蒂 具有不可观测运动的余代数的行为等价性。 (英语) Zbl 1330.68195号 J.日志。阿尔盖布。方法计划。 84,第6期,826-852(2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}等人,J.Log。阿尔盖布。方法程序。84,第6号,826--852(2015;Zbl 1330.68195) 全文: 内政部 arXiv公司
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 Coq中Kleene代数项等价性的判定。 (英语) Zbl 1329.68232号 J.日志。阿尔盖布。方法计划。 84,第3期,377-401(2015).MSC公司:第68页第15页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法程序。84,第3号,377--401(2015;Zbl 1329.68232) 全文: 内政部
直纪西田;德国维达尔 计算有限SLD树的框架。 (英语) Zbl 1319.68055号 J.日志。阿尔盖布。方法计划。 84,第2期,197-217(2015).MSC公司:68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},J.Log。阿尔盖布。方法程序。84,第2号,197--217(2015;Zbl 1319.68055) 全文: 内政部
拉兹万·迪亚科内斯库;Ţuţu,伊奥努 构建行为规范的基础。 (英语) Zbl 1434.68305号 J.日志。阿尔盖布。方法计划。 83,编号3-4,319-338(2014).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.u u},J.Log。阿尔盖布。方法程序。83,编号3--4,319--338(2014;Zbl 1434.68305) 全文: 内政部
温特,迈克尔;彼得·肯普夫 余代数序列合成的相关性质。 (英语) Zbl 1434.68306号 J.日志。阿尔盖布。方法计划。 83,第2期,284-299(2014).MSC公司:68问题65 18B10型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Winter}和\textit{P.Kempf},J.Log。阿尔盖布。方法程序。83,第2号,284--299(2014;Zbl 1434.68306) 全文: 内政部