文章基本信息

标题：Automated Synthesis: a Distributed Viewpoint
作者：Anca Muscholl
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：93
页码：3:1-3:5
DOI：10.4230/LIPIcs.FSTTCS.2017.3
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Distributed algorithms are inherently hard to get right, and a major challenge is to come up with automated techniques for error detection and recovery. The talk will survey recent results on the synthesis of distributed monitors and controllers.
关键词：Synthesis; distributed program