Misra, Jayadev; Chandy, K. M. Termination detection of diffusing computations in communicating sequential processes. (English) Zbl 0479.68025 ACM Trans. Program. Lang. Syst. 4, 37-43 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68N25 Theory of operating systems Keywords:Dijkstra-Scholten scheme; deadlock; distributed systems; networks of processes; termination detection; diffusing computation PDFBibTeX XMLCite \textit{J. Misra} and \textit{K. M. Chandy}, ACM Trans. Program. Lang. Syst. 4, 37--43 (1982; Zbl 0479.68025) Full Text: DOI Link