Dijkstra, Edsger W.; Scholten, C. S. Termination detection for diffusing computations. (English) Zbl 0439.68039 Inf. Process. Lett. 11, 1-4 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 41 Documents MSC: 68N25 Theory of operating systems Keywords:concurrency; termination detection; distributed control; message-based systems; correctness proving; diffusing computations; networks; activation tree PDF BibTeX XML Cite \textit{E. W. Dijkstra} and \textit{C. S. Scholten}, Inf. Process. Lett. 11, 1--4 (1980; Zbl 0439.68039) Full Text: DOI OpenURL