Title of article :
Extension of synthesis algorithm of recursive processes to μ-calculus
Author/Authors :
Shigetomo Kimura، نويسنده , , Atsushi Togashi، نويسنده , , Norio Shiratori، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Keywords :
Inductive inference , ccs , Process synthesis , Algorithms , J.t-calculus , Algebraic process
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
