OPLSS 俄勒冈编程语言暑期学校
不懂编程语言, 也不懂数学和逻辑, 我该怎么办呢?
白鹤衔苦桃, 千里作一息. 欲往蓬莱山, 将此充粮食. 未达毛摧落, 离群心惨恻. 却归旧来巢, 妻子不相识.
随便记点笔记.
会话类型并发编程
消息传递并发
通过沿信道交换消息进行计算的进程
n
-ary信道
非确定性
形式化基础: 进程演算, 例如
π
演算
消息传递队列