Probabilistic Model Checking of Randomised Distributed ... - PRISM
Probabilistic Model Checking of Randomised Distributed ... - PRISM
Probabilistic Model Checking of Randomised Distributed ... - PRISM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Probability that 10%<strong>of</strong> gate outputs areerroneous for varyinggate failure rates andnumbers <strong>of</strong> stagesWorst-case expectednumber <strong>of</strong> steps tostabilise for initialconfigurations with Ktokens amongst NprocessesOptimum probability<strong>of</strong> leader election bytime T for various coinbiases