Jiang Ming-de. Representation of the Network of Nestable Concurrent-Software-Machines in the Functional Programming System[J]. Acta Electronica Sinica, 1985, (3): 63-70.
Jiang Ming-de. Representation of the Network of Nestable Concurrent-Software-Machines in the Functional Programming System[J]. Acta Electronica Sinica, 1985, (3): 63-70.DOI:
Representation of the Network of Nestable Concurrent-Software-Machines in the Functional Programming System
摘要
为了使函数式程序设计(FP)系统适用于分布处理环境
本文引入通讯函数型
在此基础上提出并发软件机(CSM)概念。CSM在FP系统中将表示成一个模块
即一个函数
它们可以是嵌套的、递归的。各CSM通过通讯函数型相互联系
组成CSM网。
Abstract
In order to adapt the functional programming (FP) system to the environment of distributed processing
a communication functional form is introduced. On this basis a concept of concurrent software machine (CSM) is presented which is represented as a module (i. e. a function) in FP system. CSM as a function may be nested and recursive. They form a CSM network
communicating with one another via message-passing functions genepated by the communication functional forms.