安德烈·阿诺德；保罗·克鲁比尔 求解过渡系统上不动点方程的线性算法。 （英语） Zbl 0663.68075号 信息处理。莱特。 29，第2期，57-66页（1988年）. 作者给出了一个计算过渡系统上方程组的最小不动点的算法。该算法的时间复杂度与过渡系统的大小呈线性关系。给出了该算法的正确性证明。审核人：B.Wojdyło 引用于1审查引用于17文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 算法和问题复杂性分析 68兰特 计算机科学中的图论（包括图形绘制） 关键词：不动点方程；时间逻辑；模型检查器；时间复杂性；过渡系统；正确性 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{P.Crubille}，Inf.过程。莱特。29，第2号，57--66（1988；Zbl 0663.68075） 全文： 内政部 参考文献： [1] 克拉克，E.M。；艾默生，E.A。；Sistla，A.P.，《使用时序逻辑规范自动验证有限状态并发系统：实用方法》，ACM Trans。编程语言与系统，8244-263（1986）·Zbl 0591.68027号 [2] Dicky，A.，《分析过渡系统的代数和算法方法》，Theoret。计算。科学。，46, 285-303 (1986) ·Zbl 0617.68035号 [3] 艾默生，E.A。；Lei，C.-L.，命题微积分片段中的有效模型检查，Symp。《计算机科学中的逻辑》，267-278（1986），马萨诸塞州剑桥 [4] Keller，R.M.，并行程序的形式验证，美国计算机学会，19，371-384（1976）·Zbl 0329.68016号 [5] Kozen，D.，命题μ-演算的结果，理论。计算。科学。，27, 333-354 (1983) ·Zbl 0553.03007号 [6] Sifakis，J.，研究过渡系统性质的统一方法，Theoret。计算。科学。，18, 227-258 (1982) ·兹伯利0478.68056 [7] Tarjan，R.E.，深度优先搜索和线性图算法，SIAM J.Compute。，1, 146-160 (1972) ·Zbl 0251.05107号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。