Recursion theory on processes
暂无分享,去创建一个
A general definition of a process is given. Recursive processes and relative recursion for processes are defined and the degree theory of processes is studied. We construct a process of minimal degree
[1] Robin Milner,et al. Processes: A Mathematical Model of Computing Agents , 1975 .