A Combined Semantics Methodology of Parallel Software Functional Specifications

• 并行软件功能规约的组合语义方法