Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude.

Jeffrey Van Baalen James L. Caldwell Shivakant Mishra

Published in: FAABS (2000)

Keyphrases

fault tolerant
key distribution
fault tolerance
distributed systems
load balancing
high availability
multi agent systems
state machine
equational theories
formal specification
data replication
safety critical
mobile agent system
multi agent
fine grained