Variations on Constants: Flow Analysis of Sequential and Parallel Programs, Mark

A Survey of Verification Techniques for Parallel Programs, Howard Barringer

Languages for Parallel Architectures: Design, Semantics, Implementation Models,

Concurrent Aggregates: Supporting Modularity in Massively Parallel Programs, And

Languages for Parallel Architectures: Design, Semantics, Implementation Models,

Complexity of sequential and parallel numerical algorithms: [proceedings], J.F.

Computer semantics: Studies of algorithms, processors and languages (Computer sc