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

    Fingerprint

    Calculus
    Synthesis
    Set theory
    Subset
    Class

    Keywords

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

    ASJC Scopus subject areas

    • Computational Theory and Mathematics

    Cite this

    Extension of synthesis algorithm of recursive processes to μ-calculus. / Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio.

    In: Information Processing Letters, Vol. 58, No. 2, 22.04.1996, p. 97-104.

    Research output: Contribution to journalArticle

    Kimura, Shigetomo ; Togashi, Atsushi ; Shiratori, Norio. / Extension of synthesis algorithm of recursive processes to μ-calculus. In: Information Processing Letters. 1996 ; Vol. 58, No. 2. pp. 97-104.
    @article{8bb86fb3bd7142609fe708519a377083,
    title = "Extension of synthesis algorithm of recursive processes to μ-calculus",
    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.",
    keywords = "μ-calculus, Algebraic process, Algorithms, CCS, Inductive inference, Process synthesis",
    author = "Shigetomo Kimura and Atsushi Togashi and Norio Shiratori",
    year = "1996",
    month = "4",
    day = "22",
    doi = "10.1016/0020-0190(96)00038-5",
    language = "English",
    volume = "58",
    pages = "97--104",
    journal = "Information Processing Letters",
    issn = "0020-0190",
    publisher = "Elsevier",
    number = "2",

    }

    TY - JOUR

    T1 - Extension of synthesis algorithm of recursive processes to μ-calculus

    AU - Kimura, Shigetomo

    AU - Togashi, Atsushi

    AU - Shiratori, Norio

    PY - 1996/4/22

    Y1 - 1996/4/22

    N2 - 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.

    AB - 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.

    KW - μ-calculus

    KW - Algebraic process

    KW - Algorithms

    KW - CCS

    KW - Inductive inference

    KW - Process synthesis

    UR - http://www.scopus.com/inward/record.url?scp=2442640383&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=2442640383&partnerID=8YFLogxK

    U2 - 10.1016/0020-0190(96)00038-5

    DO - 10.1016/0020-0190(96)00038-5

    M3 - Article

    AN - SCOPUS:2442640383

    VL - 58

    SP - 97

    EP - 104

    JO - Information Processing Letters

    JF - Information Processing Letters

    SN - 0020-0190

    IS - 2

    ER -