Termination Detection of Diffusing Computations in Communicating Sequential Processes

DOI10.1145/357153.357156MaRDI QIDQ3938476zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3938476)