Semantics and Logic for Provable Fault-Tolerance, A Tutorial.
Tomasz JanowskiPublished in: ASIAN (1998)
Keyphrases
- fault tolerance
- fault tolerant
- logic programming
- proof theory
- propositional dynamic logic
- sound and complete axiomatization
- load balancing
- epistemic logic
- distributed systems
- response time
- distributed computing
- nonmonotonic logics
- high availability
- logical framework
- replicated databases
- group communication
- modal operators
- active rules
- mobile agents
- database replication
- model theoretic
- fault management
- data replication
- error detection
- modal logic
- peer to peer
- artificial intelligence
- fixed point semantics
- wireless sensor
- high performance computing
- multi agent systems
- failure recovery
- logic programs