Extension of synthesis algorithm of recursive processes to μ-calculus

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

    Research output: Contribution to journalArticle

    1 Citation (Scopus)

    Abstract

    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
    Volume58
    Issue number2
    DOIs
    Publication statusPublished - 1996 Apr 22

    Keywords

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

    ASJC Scopus subject areas

    • Computational Theory and Mathematics

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

  • Cite this