Tense Logics for Local Reasoning in Distributed Systems.
Kamal LodayaRamaswamy RamanujamPublished in: FSTTCS (1991)
Keyphrases
- distributed systems
- proof theory
- fault tolerant
- inheritance reasoning
- load balancing
- computational properties
- distributed environment
- fault tolerance
- geographically distributed
- proof theoretic
- concurrent systems
- distributed computing
- horn logic
- intuitionistic logic
- default reasoning
- expressive power
- multi context systems
- operating system
- knowledge base
- mobile agents
- knowledge representation
- temporal relations
- agent technology
- distributed database systems
- agent based systems
- message passing
- deadlock detection
- high assurance
- sensor networks