Properties of a model for parallel computations: Determinacy, termination, and queueing (1966)

by R M Karp, R E Miller
Venue:SIAM J. Appl. Math