scientific article; zbMATH DE number 1036309

zbMATH Open0878.68023MaRDI QIDQ4344720FDOQ4344720

Authors: Michel Hurfin, Michel Raynal 

Publication date: 14 December 1997

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

Recommendations

• scientific article; zbMATH DE number 4058881
• Debugging distributed programs using controlled re-execution
• On-the-fly analysis of distributed computations
• Reachability analysis on distributed executions
• Simulation relations for pattern matching in directed graphs

zbMATH Keywords

diamond necklace

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)

Cited In (1)

• Detecting diamond necklaces in labeled dags (a problem from distributed debugging)

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