Probabilistic verification of hierarchical leader election protocol in dynamic systems

DOI10.1007/S11704-018-6173-6zbMath1405.68025OpenAlexW2589496111MaRDI QIDQ1713851

Nvqi Zhou, Yu Zhou, Weigang Wu, Jiayi Gu, Tingting Han

Publication date: 30 January 2019

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprints.bbk.ac.uk/id/eprint/19777/1/FCS_draft.pdf

zbMATH Keywords

distributed computingdynamic systemsprobabilistic model checkinghierarchical leader election protocol

Mathematics Subject Classification ID

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

Cites Work

• Compositional probabilistic verification through multi-objective model checking
• Assume-Guarantee Verification for Probabilistic Systems
• Probabilistic Model Checking for Energy-Utility Analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic verification of hierarchical leader election protocol in dynamic systems