Probabilistic verification of hierarchical leader election protocol in dynamic systems
2015 ◽
pp. 192-205
◽
Keyword(s):
1998 ◽
Vol 08
(01)
◽
pp. 7-18
◽
Keyword(s):
1992 ◽
Vol 50
(1)
◽
pp. 694-695
2010 ◽
Vol 19
(3)
◽
pp. 68-74
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 64
(6)
◽
pp. 616-625
◽