Model-checking games for fixpoint logics with partial order models
We introduce model-checking games that allow local second-order power on sets of independent transitions in the underlying partial order models where the games are played. Since the one-step interleaving semantics of such models is not considered, some problems that may arise when using interleaving...
| मुख्य लेखकों: | , |
|---|---|
| स्वरूप: | Conference item |
| भाषा: | English |
| प्रकाशित: |
Springer Berlin Heidelberg
2009
|