Login / Signup

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.

Thomas ArtsKoen ClaessenHans Svensson
Published in: FATES (2004)
Keyphrases
  • fault tolerant
  • fault tolerance
  • safety critical
  • distributed systems
  • load balancing
  • high availability
  • key distribution
  • formal analysis
  • mobile agent system
  • software engineering
  • interconnection networks