Balasubramanian,A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 (英语) Zbl 07753362号 日志。方法计算。科学。 19,第4号,第2号文件,第44页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人,日志。方法计算。科学。19,第4号,第2号文件,第44页(2023;Zbl 07753362) 全文: 内政部 arXiv公司
Balasubramanian,A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 (英语) Zbl 07410418号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 42-61 (2021).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人,Lect。注释计算。科学。12650,42-61(2021;Zbl 07410418) 全文: 内政部 arXiv公司
安德里亚诺夫,P.S。 分析操作系统组件的正确同步。 (英语) Zbl 1467.68032号 程序。计算。柔和。 46,编号8,712-730(2020).MSC公司:第68页第25页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Andrianov},程序。计算。柔和。46,编号8,712--730(2020;Zbl 1467.68032) 全文: 内政部
保罗·盖纳;斯文·林杰;克莱尔·狄克逊;乌尔里希·赫斯塔特;迈克尔·费希尔 分布式同步的多尺度验证。 (英语) Zbl 1506.68009号 形式方法系统。设计。 55,第3期,171-221(2020).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gainer}等人,《表格方法系统》。设计。55,第3号,171--221(2020;Zbl 1506.68009) 全文: 内政部 arXiv公司
阿明·比尔;丹尼尔·科宁 基于SAT的模型检查。 (英语) Zbl 1392.68232号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。277-303 (2018).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}和\textit{D.Kröning},in:模型检查手册。查姆:斯普林格。277--303(2018;Zbl 1392.68232) 全文: 内政部
伊戈尔·科诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 \(\text{Para}^2):参数化路径缩减、加速和SMT,用于阈值保护分布式算法中的可达性。 (英语) Zbl 1380.68279号 形式方法系统。设计。 51,第2期,270-307(2017).MSC公司:60年第68季度 64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,《形式方法系统》。设计。51,第2号,270--307(2017;Zbl 1380.68279) 全文: 内政部
Yousefi、Behnaz;法特梅·加塞米;拉丁·科斯拉维 无线自组织网络的建模和有效验证。 (英语) Zbl 1377.68028号 正式Asp。计算。 29,第6号,1051-1086(2017).MSC公司:68M10个 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Yousefi}等人,正式Asp。计算。29,第6号,1051--1086(2017;Zbl 1377.68028) 全文: 内政部 arXiv公司
伊戈尔·科诺夫;赫尔穆特·维思;约瑟夫·威德 基于阈值的分布式算法有界模型检查的完备性:可达性。 (英语) 兹比尔1355.68176 Inf.计算。 252, 95-109 (2017).MSC公司:60年第68季度 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,信息计算。25295--109(2017年;Zbl 1355.68176) 全文: 内政部
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 上下文软件计数器抽象。 (英语) Zbl 1213.68362号 形式方法系统。设计。 36,第3期,223-245(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人,《形式方法系统》。设计。36,第3号,223--245(2010;Zbl 1213.68362) 全文: 内政部 链接