On the semantics of fair parallelism (1980)

by D Park
Venue:Abstract Software Specifications, Lecture Notes in Computer Science 86