scientific article; zbMATH DE number 1069491

zbMATH Open0880.68088MaRDI QIDQ4356444FDOQ4356444

Authors: Sandeep Kumar Shukla, S. S. Ravi, Daniel J. Rosenkrantz 

Publication date: 1 October 1997

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

Recommendations

• ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms
• Automated synthesis of distributed self-stabilizing protocols
• Self-stabilization Preserving Compiler
• scientific article; zbMATH DE number 17805

zbMATH Keywords

SPINself-stabilizing distributed protocols

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms
• Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols

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