Login / Signup

Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper.

Stephen SkeirikRakesh B. BobbaJosé Meseguer
Published in: CCGRID (2013)
Keyphrases
  • formal analysis
  • fault tolerant
  • fault tolerance
  • distributed systems
  • load balancing
  • formal methods
  • high availability
  • machine learning
  • agent model
  • database systems
  • operating system
  • index structure
  • ban logic