Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing (1966)

by R M Karp, R E Miller
Venue:SIAM Journal of Applied Mathematics