Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction
2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In Proceedings of Methods, Models and Tools for Fault Tolerance, Oxford, UK. (
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.
ECS staff and postgraduates may modify this record.
Members of ECS may view the download statistics dashboard for this record.
Metadata available via OAI as: oai_dc (unqualified dublin core)