scientific article; zbMATH DE number 3999307

zbMATH Open0616.68060MaRDI QIDQ4725762FDOQ4725762

Authors: Brigitte Rozoy 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• About the Termination Detection in the Asynchronous Message Passing Model
• Title not available (Why is that?)
• Synchronized Distributed Termination
• Implementation and verification of ring termination detection protocols using structured rv-systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)