Sylvain Conchon公司;乔治·德尔扎诺;安吉洛·费兰多 通过Cubicle模型检查器对分布式协议进行声明性参数化验证。 (英语) Zbl 1497.68293号 芬丹。通知。 178,第4期,347-378(2021).MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,Fundam。通知。178,编号4,347--378(2021;Zbl 1497.68293) 全文: 内政部
乔治·德尔扎诺 分布式用餐哲学家协议的基于逻辑的验证。 (英语) 兹比尔1396.68071 芬丹。通知。 161,编号1-2,113-133(2018).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},芬达姆。通知。161,编号1--2,113-133(2018;Zbl 1396.68071) 全文: 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索 通过广播向参数化网络添加数据寄存器。 (英语) Zbl 1357.68111号 芬丹。通知。 143,编号3-4,287-316(2016).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Fundam。通知。143,编号3--4,287--316(2016;Zbl 1357.68111) 全文: 内政部