No self-introduction
Loading
Profile
Follow
codes (1)
Consistency verification of algorithm
no vote
we introduce a novel Broadcast-Free Algorithm that solves Consensus problem in the presence of a Weak-Fairness property and an unreliable failure detector -property, in asynchronous distributed systems, and later its formal veri cation. The Broadcast-Free Algorithm Model is de ned as a global transition system that is unambigously generated by local transition rules. At the system run, the algorithm model attempts involves two concepts : one to system run represents a in nite computation and one to asynchronous communication between processes without Broadcast.
deberlin 0 0
1
No more~
Follows0
Fans0