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