scientific article; zbMATH DE number 1786476

MaRDI QIDQ4547768zbMATH OpenFDO

Authors Roberto Segala

Publication date 21 August 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2090/20900232

Mathematics Subject Classification ID

Randomized algorithms (68W20) Analysis of algorithms (68W40) Distributed algorithms (68W15)

Recommendations

• Validation of Stochastic Systems
• Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
• The probabilistic model checking landscape
• scientific article; zbMATH DE number 1796134
• Computer Aided Verification

Cited in

(10)

• The probabilistic model checking landscape
• Layered reasoning for randomized distributed algorithms
• Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
• Computer Aided Verification
• Validation of Stochastic Systems
• Randomized Lower Bound for Distributed Spanning-Tree Verification
• Structuring and verifying distributed algorithms
• scientific article; zbMATH DE number 1796134 (Why is no real title available?)
• Certified impossibility results and analyses in Coq of some randomised distributed algorithms
• RDA: a Coq library to reason about randomised distributed algorithms in the message passing model

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