Towards a temporal logic of causality and choice in distributed systems.
Wolfgang ReisigPublished in: REX Workshop (1988)
Keyphrases
- distributed systems
- temporal logic
- model checking
- concurrent systems
- fault tolerant
- modal logic
- load balancing
- satisfiability problem
- distributed environment
- geographically distributed
- distributed database systems
- distributed computing
- mobile agents
- fault tolerance
- transition systems
- computation tree logic
- real time systems
- verification method
- automata theoretic
- mazurkiewicz traces
- belief revision
- reactive systems
- temporal knowledge
- data replication
- linear temporal logic
- deadlock detection
- dynamic constraints
- temporally extended goals
- multi agent
- search space