佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英语) Zbl 1435.68191号 J.日志。代数。方法计划。 108, 24-46 (2019).MSC公司:第68季度第60季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。代数。方法计划。108、24-46(2019年;Zbl 1435.68191) 全文: 内政部 链接
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 异步通信的多样性。 (英语) Zbl 1345.68022号 正式Asp。计算。 28,第5期,847-879(2016).MSC公司:64岁以下 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevrou}等人,正式Asp。计算。28,第5号,847--879(2016;Zbl 1345.68022) 全文: 内政部 哈尔