A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.
Henk SchepersJozef HoomanPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- distributed systems
- fault tolerant
- proof theory
- fault tolerance
- default reasoning
- load balancing
- distributed environment
- message passing
- distributed computing
- automated reasoning
- reasoning problems
- data replication
- distributed database systems
- artificial intelligence
- mobile agents
- mobile computing
- high availability
- operating system
- belief revision
- default logic