Occam语言的时态语义  

A TEMPORAL SEMANTICS FOR OCCAM

作　　者：耿峻[1] 谭新明[1] 

机构地区：[1]武汉水运工程学院

出　　处：《软件学报》1990年第2期12-27,共16页Journal of Software

摘　　要：本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质。A compositional temporal semantics is given for a subset of Occam language. Local environments, local stores, and local channel states are introduced to form a true concurrency model. In the semantics various properties of distributed processes can be discussed.

关 键 词：OCCAM语言 时态语义 

分 类 号：TP312OC[自动化与计算机技术—计算机软件与理论]