Termination Detection of Diffusing Computations in Communicating Sequential Processes

DOI10.1145/357153.357156zbMath0479.68025OpenAlexW2095359054MaRDI QIDQ3938476

K. Mani Chandy, Jayadev Misra

Publication date: 1982

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.218

zbMATH Keywords

distributed systemstermination detectiondeadlockdiffusing computationnetworks of processesDijkstra-Scholten scheme

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

A distributed algorithm for distributed termination ⋮ Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP ⋮ A distributed solution of the distributed termination problem ⋮ Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation

This page was built for publication: Termination Detection of Diffusing Computations in Communicating Sequential Processes