occam
概述
为INMOS Transputer处理器设计的编程语言，是CSP理论的直接语言实现，语法几乎是对CSP的直接翻译。
关键内容
-
CSP实现：occam的并发原语直接来源于CSP理论，进程通过通道进行同步通信，无共享内存。
-
Transputer平台：专为INMOS Transputer处理器开发，该处理器包含硬件级别的通信通道，直接对应CSP的通信通道概念。
-
语言设计：强调简单性和可验证性，支持并行进程组合、同步通信和守卫命令等CSP核心概念。
-
工业意义：证明了CSP理论不仅能作为数学模型存在，还能高效地映射到实际的硬件和软件实现中。
来源
- 14-hoare-csp — CSP理论对occam的影响
- [[]] —
相关
- Communicating Sequential Processes — 语言理论基础
- C.A.R. Hoare — 理论提出者
- INMOS Transputer — 目标硬件平台