OPLSS 俄勒冈编程语言暑期学校

不懂编程语言, 也不懂数学和逻辑, 我该怎么办呢?

白鹤衔苦桃, 千里作一息. 欲往蓬莱山, 将此充粮食. 未达毛摧落, 离群心惨恻. 却归旧来巢, 妻子不相识.

随便记点笔记.

会话类型并发编程

消息传递并发

通过沿信道交换消息进行计算的进程

• $n$-ary信道
• 非确定性
• 形式化基础: 进程演算, 例如$\pi$演算

消息传递队列