Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus

S. Kimura,A. Togashi,N. Shiratori
DOI: https://doi.org/10.1016/0020-0190(96)00038-5
IF: 0.851
1996-04-22
Information Processing Letters
Abstract:
What problem does this paper attempt to address?