Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic.
Joachim ParrowRune GustavssonPublished in: PSTV (1984)
Keyphrases
- distributed systems
- temporal logic
- concurrent systems
- model checking
- computation tree logic
- load balancing
- distributed environment
- satisfiability problem
- modal logic
- fault tolerance
- fault tolerant
- geographically distributed
- linear time temporal logic
- mazurkiewicz traces
- verification method
- distributed database systems
- distributed computing
- linear temporal logic
- formal specification language
- real time systems
- mobile agents
- transition systems
- search algorithm
- data replication
- temporal knowledge
- reactive systems
- belief revision
- temporally extended
- bounded model checking
- automata theoretic
- formal verification
- deadlock detection
- domain independent
- description logics