logic for concurrent systems
C17348
concept
Logic for concurrent systems is a formal framework for specifying and reasoning about the behaviors, interactions, and correctness properties of systems in which multiple processes execute and communicate simultaneously.
Observed surface forms (3)
- temporal logic ×5
- branching-time temporal logic ×2
- temporal logic formalism ×1
Instances (7)
- Temporal Logic of Actions
-
branching-time temporal logic CTL*
via concept surface "branching-time temporal logic"
surface form: CTL*
- CTL* via concept surface "temporal logic"
- TLA via concept surface "temporal logic"
- linear temporal logic via concept surface "temporal logic"
-
mu-calculus
via concept surface "temporal logic formalism"
surface form: μ-calculus
- LTL via concept surface "temporal logic"