论文部分内容阅读
基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ理论，提出了一种结构化并行程序设计方法，以支持不同并行平台的“通用”并行程序设计方法，因果关系复合的范式定理的证明在理论上保证了采用“ＳＥＱＯＦＰＡＲ”形式进行结构化并行程序设计的可行民生，良好的代数性质也使得在这一模型中可采用代数方法的程序变换来进行并行程序设计，优化和验证，与其他并行程序设计模型和方法相比，提供了一种非常自然