第5章 类型和效果系统 5.5运行行为 用类型和效果系统来分析运行时原子动作的时序 特点 具体分析并发程序的通信行为：进程创建、通道 分配、通道上发送和接受数据 -FUN语言增加有关并发部分的表达式 一形式语义（串行部分和并行部分） 一为通信行为分析设计的推理系统 举例第5章 类型和效果系统 5.5 运行行为 用类型和效果系统来分析运行时原子动作的时序 特点 具体分析并发程序的通信行为：进程创建、通道 分配、通道上发送和接受数据 – FUN语言增加有关并发部分的表达式 – 形式语义（串行部分和并行部分） – 为通信行为分析设计的推理系统 – 举例