ML Anthology

Kimura, Shigetomo

1 publications

ALT 1994 Synthesis Algorithm for Recursive Process by Μ-Calculus (Extended Abstract) Shigetomo Kimura, Atsushi Togashi, Norio Shiratori