伯恩德·芬克贝纳；斯文·舍韦 半自动分布式合成。 （英语） Zbl 1170.68539号 Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707，263-277（2005）。 摘要：我们为分布式合成提出了一个完善的成分证明规则。应用我们的证明规则只需要手动将规范加强为公式的结合，这些公式可以通过单独的黑盒过程来保证。可以自动检查证明规则的所有前提。为此，我们给出了分布式体系结构中单个进程的自动机理论综合算法。在合成过程中，过程的局部环境的行为是未知的，不能假定是最大的。因此，我们考虑有能力禁用某些自身操作的反应性环境，并在此设置中提供合成（和可实现性检查）方法。我们建立了信息不完全的CTL（2EXPTIME）和CTL*（3EXPTIME）综合的上界，匹配这些问题的已知下界，并提供了信息完全或不完全的微积分综合（2EXPT IME）的匹配上界和下界。反应环境中的合成比最大环境中的综合困难，其中CTL、CTL*和（mu）-演算合成分别是EXPTIME、2EXPTIME和EXPTIME-complete。关于整个系列，请参见[Zbl 1089.68013号]. 引用于24文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 65年第68季度 算法和问题复杂性分析 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{S.Schewe}，Lect。票据计算。科学。3707623-277（2005年；兹比尔1170.68539） 全文： 内政部