A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus - An Oracle-Based Approach.

Published in: SRDS (2002)

Keyphrases

database
computational cost
real time
databases
information retrieval
worst case
space complexity
directed networks
computational complexity
decision problems
theorem prover