ML Anthology

Shiratori, Norio

1 publications

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