嵌套并发软件机网在函数式程序设计系统中的表示

摘要

为了使函数式程序设计（FP）系统适用于分布处理环境,本文引入通讯函数型,在此基础上提出并发软件机（CSM）概念。CSM在FP系统中将表示成一个模块,即一个函数,它们可以是嵌套的、递归的。各CSM通过通讯函数型相互联系,组成CSM网。