Edsger W. Dijkstra, Carel S. Scholten. Termination Detection for Diffusing Computations. Inf. Process. Lett., 11(1):1-4, 1980.
@article{DijkstraS80, title = {Termination Detection for Diffusing Computations}, author = {Edsger W. Dijkstra and Carel S. Scholten}, year = {1980}, tags = {termination}, researchr = {https://researchr.org/publication/DijkstraS80}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {11}, number = {1}, pages = {1-4}, }