标签: occam-pi

在关于通信顺序进程的书中,花费了大量时间来定义事件,这些事件没有方向,可能涉及多个独立的进程.

仅在第4章中介绍了引导的渠道,这些渠道是针对2个流程的.

然而,包括occam,Go,LuaCSP和clojure.core.async在内的所有CSP实现仅实现了通道.

尽管大多数实际问题都可以用(广播)频道解决,但我想知道为什么这本书花费了很多时间在他们身上而没有人使用它们.

我正在寻找一个关于occam 2的在线介绍.有人可以帮助我吗？