Termination detection for diffusing computations (1980)

by E W Dijkstra, C S Scholten
Venue:55 [Fis83] [FL81] [FL87] [FLM86] [FLP85] [FM88] [GC88] [GHS83] [Gra78