Extension of synthesis algorithm of recursive processes to -calculus
Authors: Kimura, S.; Togashi, A.; Shiratori, N.
Source: Information Processing Letters, Volume 58, Number 2, 22 April 1996 , pp. 97-104(8)
Document Type: Research Article
Affiliations: Institute of Information Sciences and Electronics, University of Tsukuba, 305, , Japan
Publication date: April 22, 1996