logic and parallelism (1987)

by Linear
Venue:Mathematical Models for the Semantics of Parallelism