Probabilistic verification of hierarchical leader election protocol in dynamic systems
type: Item
instance of: scholarly article
title: Probabilistic verification of hierarchical leader election protocol in dynamic systems
zbMATH Open document ID: 1405.68025
author: Yu Zhou
author: Nvqi Zhou
author: Tingting Han
author: Jiayi Gu
author: Weigang Wu
published in: Frontiers of Computer Science
publication date: 2019-01-30T00:00:00Z
full work available at URL: FCS draft.pdf
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7008379
zbMATH Keywords: distributed computing
zbMATH Keywords: hierarchical leader election protocol
zbMATH Keywords: dynamic systems
zbMATH Keywords: probabilistic model checking
MaRDI profile type: Publication
OpenAlex ID: W2589496111
cites work: Q5322945
cites work: Assume-Guarantee Verification for Probabilistic Systems
cites work: Compositional probabilistic verification through multi-objective model checking
cites work: Q2766865
cites work: Probabilistic Model Checking for Energy-Utility Analysis
DOI: 10.1007/S11704-018-6173-6
description: scientific article; zbMATH DE number 7008379