Synthesis Algorithm for Recursive Processes by mu-calculus


Authored By:Shigemoto Kimura, Atsushi Togashi and Norio Shiratori
Paper Title:Synthesis Algorithm for Recursive Processes by mu-calculus
Book/Journal Title:Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 1994, Proceedings
Vol. 872
Publisher:Springer-Verlag
Publication Date: 1994
Pages:379-394