Extension of synthesis algorithm of recursive processes to &mgr;-calculus

• Authors:

• Shigetomo Kimura;Atsushi Togashi;Norio Shiratori

• Affiliations:

• -;-;-

• Venue:
• Information Processing Letters
• Year:
• 1996