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

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