scientific article; zbMATH DE number 1786476

zbMATH Open0990.68640MaRDI QIDQ4547768FDOQ4547768

Authors: Roberto Segala 

Publication date: 21 August 2002

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

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• 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
• Title not available (Why is that?)
• 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
• The probabilistic model checking landscape

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)