scientific article; zbMATH DE number 3999307

zbMATH Open0616.68060MaRDI QIDQ4725762FDOQ4725762

Authors Brigitte Rozoy 

Publication date 1986

zbMATH Keywords

termination detectionasynchronous protocolsglobal running of a network of processesnetwork of state machines

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4056994
• About the Termination Detection in the Asynchronous Message Passing Model
• A family of optimal termination detection algorithms
• scientific article; zbMATH DE number 4058844
• Distributed algorithms for static and dynamic termination detection

Cited in

(7)

• Synchronized Distributed Termination
• About the Termination Detection in the Asynchronous Message Passing Model
• Implementation and verification of ring termination detection protocols using structured rv-systems
• scientific article; zbMATH DE number 7724201 (Why is no real title available?)
• scientific article; zbMATH DE number 2016070 (Why is no real title available?)
• scientific article; zbMATH DE number 4020457 (Why is no real title available?)
• scientific article; zbMATH DE number 4056994 (Why is no real title available?)

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