An ACL for Specifying Fault-Tolerant Protocols.
Nicola DragoniMauro GaspariDavide GuidiPublished in: AI*IA (2005)
Keyphrases
- fault tolerant
- key distribution
- fault tolerance
- distributed systems
- natural language learning
- load balancing
- high availability
- agent communication language
- security protocols
- safety critical
- fault isolation
- multi agent systems
- mobile agent system
- state machine
- operational semantics
- agent systems
- wireless sensor networks