On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.
Morten KühnrichUwe NestmannPublished in: FMOODS/FORTE (2009)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- distributed computing
- load balancing
- distributed database systems
- distributed environment
- message passing
- high availability
- deadlock detection
- loosely coupled
- state machine
- concurrent systems
- geographically distributed
- mobile agent system
- software development environments
- case study
- real time systems
- security policies
- mobile computing
- communication networks
- operating system
- multi agent