Title of article
Extension of synthesis algorithm of recursive processes to μ-calculus
Author/Authors
Shigetomo Kimura، نويسنده , , Atsushi Togashi، نويسنده , , Norio Shiratori، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
8
From page
97
To page
104
Keywords
Inductive inference , ccs , Process synthesis , Algorithms , J.t-calculus , Algebraic process
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128469
Link To Document