Extension of synthesis algorithm of recursive processes to μ-calculus

Shigetomo Kimura; Atsushi Togashi; Norio Shiratori

doi:10.1016/0020-0190(96)00038-5

Extension of synthesis algorithm of recursive processes to μ-calculus

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	97-104
Number of pages	8
Journal	Information Processing Letters
Volume	58
Issue number	2
DOIs	https://doi.org/10.1016/0020-0190(96)00038-5
Publication status	Published - 1996 Apr 22

Keywords

μ-calculus
Algebraic process
Algorithms
CCS
Inductive inference
Process synthesis

ASJC Scopus subject areas

Computational Theory and Mathematics

Access to Document

10.1016/0020-0190(96)00038-5

Cite this

@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 = apr,

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

SN - 0020-0190

VL - 58

SP - 97

EP - 104

JO - Information Processing Letters

JF - Information Processing Letters

IS - 2

ER -

Extension of synthesis algorithm of recursive processes to μ-calculus

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this