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.
- Algebraic process
- Inductive inference
- Process synthesis
ASJC Scopus subject areas
- Computational Theory and Mathematics