scientific article; zbMATH DE number 3903951

MaRDI QIDQ3681916zbMATH OpenFDO

Authors W. H. J. Feijen, A. J. M. van Gasteren, Edsger W. Dijkstra

Publication date 1985

zbMATH Keywords

distributed computationsnetworksprogram derivationprogram presentationprotocolstermination detection

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites work

• Termination detection for diffusing computations

Cited in

(8)

• Distributed termination on a ring
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Termination detection in data-driven parallel computations/applications.
• scientific article; zbMATH DE number 3960981 (Why is no real title available?)
• scientific article; zbMATH DE number 3963184 (Why is no real title available?)
• Correctness proofs of distributed termination algorithms
• Calculs approchés de la borne inférieure de valeurs réparties
• An efficient parallel termination detection algorithm

This page was built for publication:

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