A Formal Approach to Hardware Synthesis of Parallel Programs

• 并行程序的一种形式化硬件综合方法