斯文·舍韦;伯恩德·芬克贝纳 异步系统的综合。 （英语） Zbl 1196.68142号 Puebla，Germanán（编辑），基于逻辑的程序合成和转换。2006年7月12日至14日在意大利威尼斯举行的2006年LOPSTR第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71409-5/pbk）。计算机科学课堂讲稿4407127-142（2007）。 摘要：本文解决了从时序规范合成异步系统的问题。我们表明，如果我们假设一个完整的调度程序（即允许所有可能调度的调度程序），则同步和异步系统合成单进程实现的成本是相同的（CTL*为2EXPTIME-complete，演算为EXPTIME complete），如果没有这个假设，异步系统的成本将以指数形式增加（CTL*的3EXPTIME-complete和\（\mu\）-演算的2EXPTIME complete）。虽然同步分布式系统的多进程综合对于某些体系结构（如管道和环）是可能的，但我们表明，异步分布式系统的综合是可判定的，当且仅当最多有一个进程实现是未知的。关于整个系列，请参见[Zbl 1116.68007号]. 引用于15文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。票据计算。科学。4407、127--142（2007年；Zbl 1196.68142） 全文： 内政部