scientific article; zbMATH DE number 1036309

MaRDI QIDQ4344720zbMATHFDO

Authors Michel Hurfin, Michel Raynal

Publication date 14 December 1997

zbMATH Keywords

diamond necklace

Mathematics Subject Classification ID

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

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

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)