Occam语言的时态语义

本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质