埃夫拉德,雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码,这些进程通过多路汇聚进行交互。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司:68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法程序。88、121--153(2017年;Zbl 1362.68038) 全文: 内政部 哈尔
Bui,马克 通过分布式算法模型解决多路重新连接问题。(多个集合点问题的解决方案,位于算法分布模型的一侧。) (法语) Zbl 0771.68055号 瑞欧,里奇。作品。 27,第2期,249-264(1993).MSC公司:68宽15 68M10个 68平方米 PDF格式BibTeX公司 XML格式引用 \文本{M.Bui},RAIRO,Rech。作品。27,第2号,249--264(1993;Zbl 0771.68055) 全文: 内政部 欧洲DML