Specification of Distributed Systems Using Modal Logics.
Peter PepperPublished in: GI Jahrestagung (1987)
Keyphrases
- distributed systems
- modal logic
- decision procedures
- temporal logic
- inference rules
- fault tolerant
- epistemic logic
- load balancing
- distributed environment
- distributed computing
- fault tolerance
- geographically distributed
- nonmonotonic logics
- situation calculus
- formal specification
- concurrent systems
- default logic
- loosely coupled
- deadlock detection
- software development environments
- data replication
- real time systems
- replicated data
- distributed database systems
- petri net