| 摘要: |
| 本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A TEMPORAL SEMANTICS FOR OCCAM |
|
Geng Jun,Tan Xinming
|
| Abstract: |
| 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. |
| Key words: |
