PAR平台从规约出发的算法推导与自动生成

王昌晶,薛锦云

Algorithmic Derivation and Automatic Generation From Specification on PAR Paltform

计算机工程与应用 . 2007, (2): 41 -41 .