Extension of synthesis algorithm of recursive processes to μ-calculus

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

    Research output: Contribution to journalArticlepeer-review

    1 Citation (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.

    Original languageEnglish
    Pages (from-to)97-104
    Number of pages8
    JournalInformation Processing Letters
    Issue number2
    Publication statusPublished - 1996 Apr 22


    • μ-calculus
    • Algebraic process
    • Algorithms
    • CCS
    • Inductive inference
    • Process synthesis

    ASJC Scopus subject areas

    • Computational Theory and Mathematics


    Dive into the research topics of 'Extension of synthesis algorithm of recursive processes to μ-calculus'. Together they form a unique fingerprint.

    Cite this