斯文·施奈德;玛丽亚·马克西莫娃;霍尔格·吉斯 基于概率度量时序图逻辑的区间概率时序图变换系统的有界模型检验。 (英语) Zbl 07803183号 J.日志。阿尔盖布。方法计划。 137,文章ID 100938,48 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人,J.Log。阿尔盖布。方法程序。137,文章ID 100938,48 p.(2024;Zbl 07803183) 全文: DOI程序
卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波;Juan C.Jaramillo。;佩雷斯(Jorge A.Pérez)。 Maude中基于会话的并发:可执行语义和类型检查。 (英语) Zbl 1512.68173号 J.日志。阿尔盖布。方法计划。 133,文章ID 100872,42 p.(2023).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Ramírez Restrepo}等人,J.Log。阿尔盖布。方法程序。133,文章ID 100872,42 p.(2023;Zbl 1512.68173) 全文: DOI程序 OA许可证
辛齐亚·迪·朱斯托;洛伊克·杰梅里·吉佐安;艾蒂安·洛兹 多方半双工系统和同步通信。 (英语) Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131,文章ID 100843,17 p.(2023).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,J.Log。阿尔盖布。方法程序。131,文章ID 100843,17 p.(2023;Zbl 1512.68165) 全文: DOI程序
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化递归自由,常规监视器。 (英语) Zbl 07531445号 J.日志。阿尔盖布。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法程序。127,文章ID 100778,32 p.(2022;Zbl 07531445) 全文: DOI程序 arXiv公司
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 软件定义网络的基于角色的模型检查。 (英语) Zbl 1455.68101号 J.日志。阿尔盖布。方法计划。 118,文章ID 100617,26 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Log。阿尔盖布。方法程序。118,文章ID 100617,26 p.(2021;Zbl 1455.68101) 全文: DOI程序 arXiv公司 链接
罗伯特·瓜夏莱;埃米利奥·托斯托 彩球的可实现性。 (英语) Zbl 1435.68213号 J.日志。阿尔盖布。方法计划。 108, 69-89 (2019).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guanciale}和\textit{E.Tuosto},J.Log。阿尔盖布。方法程序。108、69-89(2019年;Zbl 1435.68213) 全文: DOI程序 链接
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼 pi-calculus的稳定的无干扰早期操作语义。 (英语) Zbl 1423.68308号 J.日志。阿尔盖布。方法计划。 104, 227-253 (2019).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Hildebrandt}等人,J.Log。阿尔盖布。方法程序。104、227--253(2019年;Zbl 1423.68308) 全文: DOI程序 OA许可证
达纳·菲斯曼 推断正则语言和\(\omega \)-语言。 (英语) 兹比尔1394.68211 J.日志。阿尔盖布。方法计划。 98, 27-49 (2018).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman},J.Log。阿尔盖布。方法程序。98、27-49(2018;Zbl 1394.68211) 全文: DOI程序