斯托克,塞巴斯蒂安;阿蒂夫·马斯科尔;Michael Leuschel先生;亚历山大·埃吉德 B和Event-B精炼中的微量保存。 (英语) Zbl 07803188号 J.日志。阿尔盖布。方法计划。 137,文章ID 100943,26 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Stock}等人,J.Log。阿尔盖布。方法计划。137,文章ID 100943,26 p.(2024;Zbl 07803188) 全文: DOI程序
乍得内斯特;尼尔斯·沃诺内维尔 自由转弯的协议选择和迭代。 (英语) Zbl 07803187号 J.日志。阿尔盖布。方法计划。 137,文章ID 100942,30 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Nester}和\textit{N.Voorneveld},J.Log。阿尔盖布。方法计划。137,文章ID 100942,30 p.(2024;Zbl 07803187) 全文: DOI程序 arXiv公司
曼弗雷德·施密特·沙乌;大卫·萨贝尔 类型化概率按需调用函数语言中的程序等价性。 (英语) Zbl 07741963号 J.日志。阿尔盖布。方法计划。 135,文章ID 100904,18 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},J.Log。阿尔盖布。方法计划。135,文章ID 100904,18 p.(2023;Zbl 07741963) 全文: DOI程序
豪尔赫·布拉兹奎兹;黑山,曼努埃尔;克拉拉塞古拉 验证Dafny中可变线性数据结构和基于迭代器的算法。 (英语) Zbl 07723896号 J.日志。阿尔盖布。方法计划。 134,文章ID 100875,31 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Blázquez}等人,J.Log。阿尔盖布。方法计划。134,文章ID 100875,31 p.(2023;Zbl 07723896) 全文: DOI程序
Alpunte,M。;D.巴利斯。;埃斯科瓦尔,S。;D.加兰。;萨皮尼亚,J。 通过莫德的可编程策略实施安全。 (英语) Zbl 07665440号 J.日志。阿尔盖布。方法计划。 132,文章ID 100849,19 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100849,19 p.(2023;Zbl 07665440) 全文: DOI程序
尼科洛·维尔特里;安德烈亚·维佐西 在Guarded Cubical Agda中形式化CCS和\(\pi\)-演算。 (英语) Zbl 1512.68176号 J.日志。阿尔盖布。方法计划。 131,文章ID 100846,23 p.(2023).MSC公司:68问题85 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Veltri}和\textit{A.Vezzosi},J.Log。阿尔盖布。方法计划。131,文章ID 100846,23 p.(2023;Zbl 1512.68176) 全文: DOI程序
伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 多方会话的事件结构语义。 (英语) Zbl 1512.68163号 J.日志。阿尔盖布。方法计划。 131,文章ID 100844,第36页(2023).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,J.Log。阿尔盖布。方法计划。131,文章ID 100844,36 p.(2023;Zbl 1512.68163) 全文: DOI程序 arXiv公司
拉贝亚·阿穆尔·布利法;卢多维奇·亨利奥;埃里克,玛德琳 基于开放pNets的组合等价。 (英语) Zbl 1512.68161号 J.日志。阿尔盖布。方法计划。 131,文章ID 100842,66 p.(2023).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ameur-Boulifa}等人,J.Log。阿尔盖布。方法计划。131,文章ID 100842,66 p.(2023;Zbl 1512.68161) 全文: DOI程序 arXiv公司
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫尔莫;帕基·卢西奥 表aux和后续计算细胞毒性淋巴细胞和ECTL公司:通过认证证据和模型进行满意度测试。 (英语) Zbl 07618127号 J.日志。阿尔盖布。方法计划。 130,文章ID 100828,30 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100828,30 p.(2023;Zbl 07618127) 全文: DOI程序
史蒂夫·邓恩;费雷拉,乔昂·F·。;亚历山大·门德斯;坎贝尔·里奇;比尔·斯托达特;泽达,弗兰克 BGSL:回溯程序规范和细化的命令式语言。 (英语) Zbl 07618118号 J.日志。阿尔盖布。方法计划。 130,文章ID 100811,14 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}等人,J.日志。阿尔盖布。方法计划。130,文章ID 100811,14 p.(2023;Zbl 07618118) 全文: DOI程序
刘艾;刘少英;孙孟 概率调解人:联合大脑的观点。 (英语) 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) 全文: DOI程序
本杰明·利昂;法哈德·阿尔巴;卡罗琳·塔尔科特 交互网络物理系统的语义模型。 (英语) Zbl 07595226号 J.日志。阿尔盖布。方法计划。 129,文章ID 100807,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Lion}等人,J.Log。阿尔盖布。方法计划。129,文章ID 100807,第25页(2022;Zbl 07595226) 全文: DOI程序 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) 全文: DOI程序
保罗·马斯奇 形式化分析PVS验证系统的应用程序编程接口。 (英语) Zbl 07576523号 J.日志。阿尔盖布。方法计划。 128,文章ID 100793,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Masci},J.Log。阿尔盖布。方法计划。128,文章ID 100793,16 p.(2022;Zbl 07576523) 全文: DOI程序
塞缪尔·黄;兰斯·克莱维兰 有限线性时间逻辑的表结构。 (英语) Zbl 07485818号 J.日志。阿尔盖布。方法计划。 125,文章ID 100743,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Huang}和\textit{R.Cleaveland},J.Log。阿尔盖布。方法计划。125,文章ID 100743,25 p.(2022;Zbl 07485818) 全文: DOI程序 arXiv公司
罗兰·巴克豪斯;亨克·多恩博斯;罗兰·格里克;雅普·范德沃德 图的成分和非循环性。精确与简洁相结合的练习。 (英语) Zbl 1481.68034号 J.日志。阿尔盖布。方法计划。 124,文章ID 100730,47 p.(2022). 审核人:Shen Zhizhang(普利茅斯) MSC公司:68兰特 05C25号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100730,47 p.(2022;Zbl 1481.68034) 全文: DOI程序
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 (英语) Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122,文章ID 100698,19 p.(2021).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,J.Log。阿尔盖布。方法计划。122,文章ID 100698,19 p.(2021;Zbl 1528.68224) 全文: DOI程序
直纪西田;南弥州奈瓦 通过上下文无关表达式确定倒置语法程序。 (英语) Zbl 1528.68164号 J.日志。阿尔盖布。方法计划。 122,文章ID 100688,26 p.(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{M.Niwa},J.Log。阿尔盖布。方法计划。122,文章ID 100688,26 p.(2021;Zbl 1528.68164) 全文: DOI程序
莫里齐奥·穆尔吉亚 行为合同合规的定点框架。 (英语) Zbl 1518.68236号 J.日志。阿尔盖布。方法计划。 120,文章ID 100641,19 p.(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Murgia},J.Log。阿尔盖布。方法计划。120,文章ID 100641,19 p.(2021;Zbl 1518.68236) 全文: DOI程序
卡斯珀Dokter;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英语) Zbl 1455.68087号 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,17 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100615,第17页(2021;兹bl 1455.68087) 全文: DOI程序 链接
布雷特·麦克莱恩 具有域的自由Kleene代数。 (英语) Zbl 1484.08014号 J.日志。阿尔盖布。方法计划。 117,文章ID 100606,14 p.(2020).MSC公司:08B20号 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{B.McLean},J.Log。阿尔盖布。方法计划。117,文章ID 100606,14 p.(2020;Zbl 1484.08014) 全文: DOI程序 arXiv公司
鲁道夫·伯哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 路径的关系特征。 (英语) Zbl 1462.05198号 J.日志。阿尔盖布。方法计划。 117,文章ID 100590,19 p.(2020).MSC公司:05C38号 03B35型 03G15年 05C85号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。117,文章ID 100590,19 p.(2020;Zbl 1462.05198) 全文: DOI程序 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页(2020;Zbl 1462.68126) 全文: DOI程序
丹尼斯·达昆斯;Jean-Marie雅克;伊莎贝尔·林登 关于基于数据的协调语言中多重性的表达。 (英语) Zbl 1433.68076号 J.日志。阿尔盖布。方法计划。 112,文章ID 100528,23 p.(2020).MSC公司:68甲15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{D.Darquennes}等人,J.Log。阿尔盖布。方法计划。112,文章ID 100528,23 p.(2020;Zbl 1433.68076) 全文: DOI程序
洛科·德尼古拉;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) 全文: DOI程序 arXiv公司
乌里·法伦贝格;Legay、Axel 行为规范理论的线性时间分支时间谱。 (英语) Zbl 1433.68214号 J.日志。阿尔盖布。方法计划。 110,文章ID 100499,16 p.(2020).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},J.Log。阿尔盖布。方法计划。110,文章ID 100499,16 p.(2020;Zbl 1433.68214) 全文: DOI程序 arXiv公司
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 (英语) Zbl 1494.68109号 J.日志。阿尔盖布。方法计划。 110,文章ID 100497,58 p.(2020).MSC公司:2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100497,58 p.(2020;Zbl 1494.68109) 全文: DOI程序 arXiv公司
丹尼尔·克恩伯格;马丁·兰格 混合分支时间逻辑的模型检查。 (英语) Zbl 1494.68168号 J.日志。阿尔盖布。方法计划。 110,文章ID 100427,第25页(2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kernberger}和\textit{M.Lange},J.Log。阿尔盖布。方法计划。110,文章ID 100427,25 p.(2020;Zbl 1494.68168) 全文: DOI程序
米尔科·维罗利;雅各布·比尔;费卢西奥·达米亚尼;乔治·奥德里托;罗伯特·卡萨迪;丹尼尔·皮亚尼尼 从分布式协调到场计算和聚合计算。 (英语) Zbl 1435.68049号 J.日志。阿尔盖布。方法计划。 109,文章ID 100486,29 p.(2019).MSC公司:64岁以下 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Viroli}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100486,29 p.(2019;Zbl 1435.68049) 全文: DOI程序 链接
罗布·范格拉贝克 确保分布式系统的活性属性:开放问题。 (英语) Zbl 1435.68216号 J.日志。阿尔盖布。方法计划。 109,文章ID 100480,19 p.(2019).MSC公司:68问题85 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},J.Log。阿尔盖布。方法计划。109,文章ID 100480,19 p.(2019;Zbl 1435.68216) 全文: DOI程序 arXiv公司
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英语) Zbl 1435.68191号 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。阿尔盖布。方法计划。108、24-46(2019年;Zbl 1435.68191) 全文: DOI程序 链接
费尔南多·马西亚斯;乌韦·沃尔特;阿德里安·拉特尔;弗朗西斯科·杜兰;罗伯托·罗德里格斯·埃切韦里亚 多级耦合模型转换用于精确和可重用的模型行为定义。 (英语) Zbl 1423.68105号 J.日志。阿尔盖布。方法计划。 106167-195(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Macías}等人,J.Log。阿尔盖布。方法计划。106167-195(2019年;Zbl 1423.68105) 全文: DOI程序 arXiv公司
拉多斯·奥·克里梅克 基于模式和组合驱动的面向工作流的软件模型逻辑规范的自动生成。 (英语) Zbl 1423.68101号 J.日志。阿尔盖布。方法计划。 104, 201-226 (2019).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Klimek}、J.Log。阿尔盖布。方法计划。104201-226(2019年;兹比尔1423.68101) 全文: DOI程序
休伯特·加拉维 嵌套单位Petri网。 (英语) Zbl 1427.68195号 J.日志。阿尔盖布。方法计划。 104, 60-85 (2019). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.日志。阿尔盖布。方法计划。104、60-85(2019年;Zbl 1427.68195) 全文: DOI程序 哈尔
斯蒂芬·门尼克;托比亚斯·普雷恩 保持公平:对等和组合。 (英语) Zbl 1431.68077号 J.日志。阿尔盖布。方法计划。 104, 1-15 (2019). 审核人:Jörg Desel(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mennicke}和\textit{T.Prehn},J.Log。阿尔盖布。方法计划。104、1-15(2019年;Zbl 1431.68077) 全文: DOI程序
M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。 跟踪CSP计算。 (英语) Zbl 1408.68037号 J.日志。阿尔盖布。方法计划。 102, 138-175 (2019).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Llorens}等人,J.Log。阿尔盖布。方法计划。102138-175(2019年;兹比尔1408.68037) 全文: DOI程序 链接
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) Zbl 1401.68247号 J.日志。阿尔盖布。方法计划。 101132-150(2018).MSC公司:68兰特 03B35型 03G15年 05C22号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。101132-150(2018;Zbl 1401.68247) 全文: DOI程序
卡洛斯·格雷戈里奥·罗德里格斯;路易斯·利亚纳;拉斐尔·马丁内斯 一致性关系的公理语义。 (英语) Zbl 1400.68133号 J.日志。阿尔盖布。方法计划。 100, 152-184 (2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Gregorio-Rodríguez}等人,J.Log。阿尔盖布。方法计划。100252-184(2018年;兹比尔1400.68133) 全文: DOI程序
卡默·阿皮尼;瓦尔莫·维尼;维萨尔·沃达尼 基于地图的抽象域的需求驱动的过程间分析。 (英语) 兹比尔1400.68054 J.日志。阿尔盖布。方法计划。 100, 57-70 (2018).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人,J.Log。阿尔盖布。方法计划。100,57-70(2018;Zbl 1400.68054) 全文: DOI程序
安托万·埃尔·霍卡耶姆;伊利耶斯·法尔科内;穆罕默德·贾比尔 将基于正式组件的系统中的行为和架构横切关注点模块化——应用于行为交互优先级框架。 (英语) Zbl 1395.68092号 J.日志。阿尔盖布。方法计划。 99, 143-177 (2018).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.El-Hokayem}等人,J.Log。阿尔盖布。方法计划。99、143--177(2018;Zbl 1395.68092) 全文: DOI程序 arXiv公司
西尔万·戴勒;大卫·豪扎尔;克劳德·马奇;扬尼克·莫伊 为反例生成插入最弱的前提演算。 (英语) Zbl 1395.68097号 J.日志。阿尔盖布。方法计划。 99, 97-113 (2018).MSC公司:68N99型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dailler}等人,J.Log。阿尔盖布。方法计划。99,97-113(2018;Zbl 1395.68097) 全文: DOI程序 哈尔
纳菲·迪亚洛;加尔达洛,Wided;朱尔斯·德沙奈斯;阿里·米莉 融合:集成终止和中止自由。 (英语) Zbl 1395.68091号 J.日志。阿尔盖布。方法计划。 97, 1-29 (2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Diallo}等人,J.Log。阿尔盖布。方法计划。97、1--29(2018;Zbl 1395.68091) 全文: DOI程序
何塞·努诺·奥利维拉 隐喻编程。 (英语) 兹比尔1381.68058 J.日志。阿尔盖布。方法计划。 94, 15-44 (2018).MSC公司:68号30 68页第10页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}、J.Log。阿尔盖布。方法计划。94、15-44(2018;Zbl 1381.68058) 全文: DOI程序 arXiv公司
马尔科·帕维奥蒂;杰斯珀·本特森 使用分离逻辑正式验证低级代码的异常。 (英语) 兹比尔1382.68053 J.日志。阿尔盖布。方法计划。 94,1-14(2018).MSC公司:68号30 03B70号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}和\textit{J.Bengtson},J.Log。阿尔盖布。方法计划。94、1-14(2018年;Zbl 1382.68053) 全文: DOI程序 链接
埃夫拉德,雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码,这些进程通过多路汇聚进行交互。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司:第68页第20页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法计划。88、121--153(2017年;Zbl 1362.68038) 全文: DOI程序 哈尔
鲁道夫·伯哈默;沃尔特·古特曼 多重关系及其性质的代数方法。 (英语) Zbl 1471.03088号 J.日志。阿尔盖布。方法计划。 88, 45-63 (2017).MSC公司:03G15年 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann},J.Log。阿尔盖布。方法计划。88、45-63(2017年;Zbl 1471.03088) 全文: DOI程序
弗朗西斯科·杜兰;安东尼奥·莫雷诺·德尔加多;费尔南多·奥雷贾斯;斯泰芬·兹夏勒 特定领域语言与行为的融合。 (英语) Zbl 1353.68028号 J.日志。阿尔盖布。方法计划。 86,第1号,208-235(2017).MSC公司:68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。86,第1号,208--235(2017;Zbl 1353.68028) 全文: DOI程序 链接
卡斯珀Dokter;宋世宗曼;法哈德·阿尔巴;西蒙·布利兹 合并与征服:关联BIP和Reo。 (英语) Zbl 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) 全文: DOI程序 链接
阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙·布利兹;约瑟夫·西法基斯 配置逻辑:建模架构风格。 (英语) Zbl 1353.68055号 J.日志。阿尔盖布。方法计划。 86,第1期,2-29(2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Mavridou}等人,J.Log。阿尔盖布。方法计划。86,第1号,第2--29号(2017;Zbl 1353.68055) 全文: DOI程序
刘,思;Ölveczky、Peter Csaba;何塞·梅塞盖尔 在Real-Time Maude中对移动自组网进行建模和分析。 (英语) Zbl 1356.68123号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,34-66(2016).MSC公司:2012年第68季度 68米10 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人,J.Log。阿尔盖布。方法计划。85,第1号,第1部分,34--66(2016;Zbl 1356.68123) 全文: DOI程序
戴维·诺曼(David A.Naumann)。 朝向堆和命令式lambdas的模式。 (英语) Zbl 1355.68040号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,1038-1056(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},J.Log(J.洛格)。阿尔盖布。方法计划。85,第5号,第2部分,1038--1056(2016;Zbl 1355.68040) 全文: DOI程序 arXiv公司
彼得·霍夫纳;伯恩哈德·莫勒 扩展特征代数。 (英语) Zbl 1355.68054号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,952-971(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,952--971(2016;Zbl 1355.68054) 全文: DOI程序
费雷拉,乔昂·F·。;亚历山大·门德斯 通过矩阵代数计算Eisenstein-Stern和Stern-Brocot树的基于路径的属性。 (英语) Zbl 1366.05025号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,906-920(2016).MSC公司:05二氧化碳 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Ferreira}和\textit{A.Mendes},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,906--920(2016;Zbl 1366.05025) 全文: DOI程序
蒋玉熙;穆申成 贪婪算法从关系规范的形式推导:教程。 (英语) Zbl 1355.68049号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,879-905(2016).MSC公司:68号30 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-H.Chiang}和\textit{S.-C.Mu},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,879--905(2016;Zbl 1355.68049) 全文: DOI程序
吉尔·巴特;胡安·曼努埃尔·克雷斯波;塞萨尔·库茨 产品程序和关系程序逻辑。 (英语) Zbl 1355.68047号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,847-859(2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Log。阿尔盖布。方法计划。85,第5号,第2部分,847--859(2016;Zbl 1355.68047) 全文: DOI程序
潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 影响死锁检查的多态行为推断。 (英语) Zbl 1392.68148号 J.日志。阿尔盖布。方法计划。 85,第6期,1234-1267(2016).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I Pun}等人,J.Log。阿尔盖布。方法计划。85、6号、1234--1267(2016;Zbl 1392.68148) 全文: DOI程序
亚历山德鲁·拉泽尔。;安德热·瓦索夫斯基 安全关键产品线翻译验证的值得信赖的变体派生。 (英语) 兹比尔1392.68145 J.日志。阿尔盖布。方法计划。 85,第6期,1154-1176(2016).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Iosif-Laząr}和\textit{A.Wਲ਼sowski},J.Log。阿尔盖布。方法计划。85,第6号,1154--1176(2016;Zbl 1392.68145) 全文: DOI程序
玛丽亚·阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 通过运行时断言检查和跟踪切片调试Maude程序。 (英语) Zbl 1348.68027号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,707-736(2016).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。85,第5号,第1部分,707--736(2016;Zbl 1348.68027) 全文: DOI程序
洛伦佐·贝蒂尼 使用Xsemantics实现IDE的类型系统。 (英语) Zbl 1348.68030号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,655-680(2016).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,655--680(2016;Zbl 1348.68030) 全文: DOI程序
你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 并发Kleene代数的发展。 (英语) Zbl 1344.68149号 J.日志。阿尔盖布。方法计划。 85,第4期,617-636(2016).MSC公司:70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。方法计划。85,第4号,617--636(2016;Zbl 1344.68149) 全文: DOI程序
沃尔特·古特曼 用代数方法进行计算。 (英语) Zbl 1344.68076号 J.日志。阿尔盖布。方法计划。 85,编号4,520-539(2016).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。85,第4号,520--539(2016;Zbl 1344.68076) 全文: DOI程序
何塞·努诺·奥利维拉;维克托·卡奇亚里·米拉尔多 “保持定义,改变类别”——一种基于状态的系统计算的实用方法。 (英语) 兹比尔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) 全文: DOI程序
阿尔梅德罗斯-吉梅内斯(Almendros-Jiménez),杰苏斯·M·。;路易斯·伊里巴内;洛佩斯·费尔南德斯;安格尔莫拉塞古拉 PTL:一种基于逻辑编程的模型转换语言。 (英语) Zbl 1351.68047号 J.日志。阿尔盖布。方法计划。 85,第2期,332-366(2016).MSC公司:68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Almendros-Jiménez}等人,J.Log。阿尔盖布。方法计划。85,第2号,332--366(2016;Zbl 1351.68047) 全文: DOI程序
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。 (英语) Zbl 1351.68170号 J.日志。阿尔盖布。方法计划。 85,第2期,287-315(2016).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。阿尔盖布。方法计划。85,第2号,287--315(2016;Zbl 1351.68170) 全文: DOI程序
张庆雷;里达·凯德里 关于面向方面的产品族代数的编织过程。 (英语) Zbl 1346.68068号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,146-172(2016).MSC公司:68号30 68N99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhang}和\textit{R.Khedri},J.Log。阿尔盖布。方法计划。85,第1号,第2部分,146--172(2016;Zbl 1346.68068) 全文: DOI程序
亚历山大·冯·莱恩;托马斯·图姆;伊娜·谢弗;约格·利比希;斯文·阿佩尔 可变编码:从编译时到加载时的可变。 (英语) Zbl 1346.68057号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,125-145(2016).MSC公司:第68页第20页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.von Rhein}等人,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,125--145(2016;Zbl 1346.68057) 全文: DOI程序
丹尼尔·赫希科夫;Jean-Marie,马迪奥;Xian、Xu 具有预序的(pi)-演算的行为理论。 (英语) Zbl 1330.68205号 J.日志。阿尔盖布。方法计划。 84,6号,806-825(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。阿尔盖布。方法计划。84,第6号,806--825(2015;Zbl 1330.68205) 全文: DOI程序 哈尔
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;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) 全文: DOI程序 arXiv公司
休伯特·加拉维 重温过程计算中的序列构成。 (英语) Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法计划。84,第6号,742--762(2015;Zbl 1330.68201) 全文: DOI程序
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84,第4期,505-533(2015).MSC公司:68问题55 03B70号 第68季度10 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) 全文: DOI程序
詹姆斯·克兰奇;迈克尔·劳伦斯。;乔治·斯特鲁斯 欧米伽正则代数的完备性结果。 (英语) Zbl 1335.68155号 J.日志。阿尔盖布。方法计划。 84,第3期,402-425(2015). 审核人:马格努斯·斯坦比(图尔库) MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,J.Log。阿尔盖布。方法计划。84,编号3402-425(2015年;兹bl 1335.68155) 全文: DOI程序
鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 结合关系代数和数据求精,开发基于矩形的自反传递闭包函数程序。 (英语) 兹比尔1329.68062 J.日志。阿尔盖布。方法计划。 84,第3期,341-358(2015).MSC公司:68甲18 03G20年 05C20号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{S.Fischer},J.Log。阿尔盖布。方法计划。84,第3号,341--358(2015;Zbl 1329.68062) 全文: DOI程序
沃尔特·古特曼 惰性和严格计算的无限执行。 (英语) Zbl 1329.68112号 J.日志。阿尔盖布。方法计划。 84,第3期,326-340(2015).MSC公司:2005年第68季度 68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。84,第3号,326--340(2015;Zbl 1329.68112) 全文: DOI程序
Dang,Han-Hing(韩红);Möller,Bernhard B。 扩展传递分离逻辑。 (英语) Zbl 1330.03071号 J.日志。阿尔盖布。方法计划。 84,第3期,303-325(2015).MSC公司:03B70号 03G25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.B.Möller},J.Log。阿尔盖布。方法计划。84,第3号,303--325(2015;Zbl 1330.03071) 全文: DOI程序
马塞尔·杰克逊;蒂姆·斯托克斯 带有测试和可能非暂停程序代数的单体。 (英语) Zbl 1319.68085号 J.日志。阿尔盖布。方法计划。 84,第2期,259-275(2015).MSC公司:2005年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},J.Log。阿尔盖布。方法计划。84,第2号,259--275(2015;Zbl 1319.68085) 全文: DOI程序 arXiv公司
埃纳尔·布罗赫·约翰森;鲁道夫·施拉特;塔皮娅·塔里法(Tapia Tarifa,S.Lizeth) 在定时面向对象模型中集成部署架构和资源消耗。 (英语) Zbl 1304.68029号 J.日志。阿尔盖布。方法计划。 84,第1期,67-91(2015).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。方法计划。84,第1号,67--91(2015;Zbl 1304.68029) 全文: DOI程序
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 适用类层次结构的证明系统。 (英语) Zbl 1304.68031号 J.日志。阿尔盖布。方法计划。 84,第1期,37-53(2015).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。阿尔盖布。方法计划。84,编号1,37-53(2015;兹bl 1304.68031) 全文: DOI程序
潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 通过数据竞争检测进行死锁检查。 (英语) Zbl 1371.68199号 J.日志。阿尔盖布。方法计划。 83,编号5-6,400-426(2014).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I Pun}等人,J.Log。阿尔盖布。方法计划。83,编号5--6400-426(2014;Zbl 1371.68199) 全文: DOI程序 哈尔
Din、Crystal Chang;Owe、Olaf 一个完善的推理系统,用于与共享未来进行异步通信。 (英语) 兹比尔1371.68190 J.日志。阿尔盖布。方法计划。 83,编号5-6,360-383(2014).MSC公司:68问题85 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}和\textit{O.Owe},J.Log。阿尔盖布。方法计划。83,编号5--6,360-383(2014;Zbl 1371.68190) 全文: DOI程序
拉兹万·迪亚科内斯库;Ţ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) 全文: DOI程序
北海市津马加里;Hitoshi Furusawa;川原康夫 概率分布代数的关系。 (英语) Zbl 1434.68339号 J.日志。阿尔盖布。方法计划。 83,第2期,263-283(2014).MSC公司:87年第68季度 03G15年 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Tsumagari}等人,J.Log。阿尔盖布。方法计划。83,第2263-283号(2014年;兹bl 1434.68339) 全文: DOI程序
彼得·霍夫纳;安娜贝拉·麦克维尔 跳房子–一步一步到达目标。 (英语) Zbl 1371.68210号 J.日志。阿尔盖布。方法计划。 83,编号212-224(2014).MSC公司:68兰特 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{A.McIver},J.Log。阿尔盖布。方法计划。83,No.2,212--224(2014;Zbl 1371.68210) 全文: DOI程序
沃尔特·古特曼 具有无限计算的多重关系。 (英语) Zbl 1371.68172号 J.日志。阿尔盖布。方法计划。 83,第2期,194-211(2014).MSC公司:68问题55 03G15年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。83,第2号,194--211(2014;Zbl 1371.68172) 全文: DOI程序
朱尔斯·德沙奈斯;阿纳斯塔西亚·格里南科;伯恩哈德·莫勒 线性代数的关系式法则和结构。 (英语) Zbl 1434.15016号 J.日志。阿尔盖布。方法计划。 83,第2期,154-168(2014).MSC公司:第15页第99页 15B99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,J.Log。阿尔盖布。方法计划。83,第2号,154-168(2014年;兹bl 1434.15016) 全文: DOI程序
阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 Tarski-Kleene层次结构中的数学编程和自动化。 (英语) Zbl 1434.68637号 J.日志。阿尔盖布。方法计划。 83,第2期,87-102(2014).MSC公司:68伏15 03G15年 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,J.Log。阿尔盖布。方法计划。83,第2号,87--102(2014;Zbl 1434.68637) 全文: DOI程序