@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",
}