Performance of symbolic applications on a parallel architecture Adolfo GuzmanEdward J. KrallNader Bagherzadeh OriginalPaper Pages: 183 - 214
A shared memory algorithm and proof for the generalized alternative construct in CSP Richard M. FujimotoHwa-chung Feng OriginalPaper Pages: 215 - 241
Deriving parallel computations from functional specifications: A seismic example on a hypercube Roger L. Wainwright OriginalPaper Pages: 243 - 260