顺序进程的并行分解：X等价

摘要

cqvip:本文在CSP模型下研究顺序程序的并行分解问题.引入了相关投影与相关进程集的概念,使用k—分解、k—解释重构了k—等价模型.然后引入了x一分解、x—等价及x—解释的概念,研究了x—等价与k—等价的关系.阐明了x—等价与x—解释在理论及方法上的三方面特色:概念一致性,结构独立性及路径有效性.x—等价能使并行分解的概念嵌入结构程序设计的方法学中,而使其形式表述纳入CSP演释之中.