Extension of synthesis algorithm of recursive processes to μ-calculus

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

    研究成果: Article査読

    1 被引用数 (Scopus)

    抄録

    In our previous work, we proposed an inductive synthesis algorithm for recursive processes by a subset of μ-calculus. This paper presents an extension of the previous algorithm to a wider class of μ-calculus.

    本文言語English
    ページ(範囲)97-104
    ページ数8
    ジャーナルInformation Processing Letters
    58
    2
    DOI
    出版ステータスPublished - 1996 4 22

    ASJC Scopus subject areas

    • 計算理論と計算数学

    フィンガープリント

    「Extension of synthesis algorithm of recursive processes to μ-calculus」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル