On the semantics of' fair parallelism," in Abstract Software Specifications (1980)

by D Park
Venue:Lecture Notes in Computer Science 86