史蒂夫·邓恩;费雷拉,乔昂·F·。;亚历山大·门德斯;坎贝尔·里奇;比尔·斯托达特;泽达,弗兰克 BGSL:回溯程序规范和细化的命令式语言。 (英语) Zbl 07618118号 J.日志。阿尔盖布。方法计划。 130,文章ID 100811,第14页(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100811,14 p.(2023;Zbl 07618118) 全文: DOI程序
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: DOI程序 arXiv公司
卡拉米,法尔扎内;Owe、Olaf;托克塔姆,拉梅扎尼法尔卡尼 活动对象的交互范例评估。 (英语) Zbl 1417.68023号 J.日志。阿尔盖布。方法计划。 103, 154-183 (2019).MSC公司:64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{F.Karami}等人,J.Log。阿尔盖布。方法计划。103、154--183(2019年;Zbl 1417.68023) 全文: DOI程序
马塞尔·杰克逊;米库拉斯(Mikulás,Szabolcs) 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).MSC公司:68号30 08A70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。阿尔盖布。方法计划。103、62-78(2019年;Zbl 1417.68033) 全文: DOI程序 arXiv公司 链接
埃夫拉德,雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码,这些进程通过多路汇聚进行交互。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司:68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法计划。88121-153(2017年;兹比尔1362.68038) 全文: DOI程序 哈尔
奥利·萨里基维;Keijo Heljanko LCTD:LLVM上C程序的测试指导证明。 (英语) Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85,第6期,1292-1317(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko},J.Log。阿尔盖布。方法计划。85,第6号,1292--1317(2016;Zbl 1392.68149) 全文: DOI程序
你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 并发Kleene代数的发展。 (英语) Zbl 1344.68149号 J.日志。阿尔盖布。方法计划。 85,编号4167-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 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程序