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

• A Formal Approach to Hardware Synthesis of Parallel Programs