Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.

Péter Bokor Marco Serafini Neeraj Suri Helmut Veith

Published in: ICFEM (2009)

Keyphrases

fault tolerant
fault tolerance
distributed systems
group communication
key distribution
load balancing
high availability
safety critical
state machine
artificial intelligence
digital libraries
smart card
computing environments
mobile agent system
fault isolation