On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.
Irina B. VirbitskaitePublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- modal operators
- modal logic
- temporal epistemic
- satisfiability problem
- concurrent systems
- belief revision
- epistemic logic
- formal semantics
- database systems
- situation calculus
- nonmonotonic logics
- predicate logic
- transition systems
- concurrency control
- reactive systems
- logic programming
- verification method
- computation tree logic
- linear temporal logic
- conceptual graphs
- temporal resolution
- phase transition
- semantic information
- lower bound