Sciweavers

ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
13 years 11 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang