Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract).

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

Browse the full ALT paper archive.