Building self-stabilizing overlay networks with the transitive closure framework.

Andrew Berns Sukumar Ghosh Sriram V. Pemmaraju

Published in: Theor. Comput. Sci. (2013)

Keyphrases

transitive closure
probabilistic model
first order logic
overlay network
publish subscribe systems
artificial intelligence
peer to peer
expressive power
recursive queries
data structure
end to end
constraint databases