Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model-Checking Games for Fixpoint Logics with Partial Order Models |
scientific article |
Statements
Model-Checking Games for Fixpoint Logics with Partial Order Models (English)
0 references
22 October 2009
0 references
temporal logic
0 references
model-checking games
0 references
Hintikka game semantics
0 references
partial order models of concurrency
0 references
process algebras
0 references
