Termination Detection for Diffusing Computations

Edsger W. Dijkstra, Carel S. Scholten. Termination Detection for Diffusing Computations. Inf. Process. Lett., 11(1):1-4, 1980.

Abstract

Abstract is missing.