Termination detection for diffusing computations (1980)

by E W Dijkstra, C S Scholten
Venue:Information Processing Letters