Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111763696> ?p ?o ?g. }
- W2111763696 endingPage "781" @default.
- W2111763696 startingPage "766" @default.
- W2111763696 abstract "In this paper, 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 interleaving semantics of such models is not considered, some problems that may arise when using interleaving representations are avoided and new decidability results for partial order models of concurrency are achieved. The games are shown to be sound and complete, and therefore determined. While in the interleaving case they coincide with the local model-checking games for the μ-calculus, in a partial order setting they verify properties of a number of fixpoint modal logics that can specify, in concurrent systems with partial order semantics, several properties not expressible with the μ-calculus. The games underpin a novel decision procedure for model-checking all temporal properties of a class of infinite and regular event structures, thus improving, in terms of temporal expressive power, previous results in the literature." @default.
- W2111763696 created "2016-06-24" @default.
- W2111763696 creator A5007740136 @default.
- W2111763696 creator A5063951892 @default.
- W2111763696 date "2011-05-01" @default.
- W2111763696 modified "2023-09-27" @default.
- W2111763696 title "Model-checking games for fixpoint logics with partial order models" @default.
- W2111763696 cites W1493916325 @default.
- W2111763696 cites W1503973138 @default.
- W2111763696 cites W1507873625 @default.
- W2111763696 cites W1525816981 @default.
- W2111763696 cites W1529088080 @default.
- W2111763696 cites W1529497146 @default.
- W2111763696 cites W1573078772 @default.
- W2111763696 cites W1577972941 @default.
- W2111763696 cites W1578801263 @default.
- W2111763696 cites W1604132373 @default.
- W2111763696 cites W1607311426 @default.
- W2111763696 cites W1720837145 @default.
- W2111763696 cites W1976513602 @default.
- W2111763696 cites W1978469611 @default.
- W2111763696 cites W1984801861 @default.
- W2111763696 cites W1991052229 @default.
- W2111763696 cites W1995251574 @default.
- W2111763696 cites W2015640848 @default.
- W2111763696 cites W2025902224 @default.
- W2111763696 cites W2035959929 @default.
- W2111763696 cites W2039290601 @default.
- W2111763696 cites W2062081943 @default.
- W2111763696 cites W2098676070 @default.
- W2111763696 cites W2107067818 @default.
- W2111763696 cites W2112535338 @default.
- W2111763696 cites W2114077959 @default.
- W2111763696 cites W2115456224 @default.
- W2111763696 cites W2120878557 @default.
- W2111763696 cites W2129296169 @default.
- W2111763696 cites W2129335898 @default.
- W2111763696 cites W2134326845 @default.
- W2111763696 cites W2136377643 @default.
- W2111763696 cites W2137307988 @default.
- W2111763696 cites W2137628566 @default.
- W2111763696 cites W2141422781 @default.
- W2111763696 cites W2151686102 @default.
- W2111763696 cites W2168498451 @default.
- W2111763696 cites W2173961470 @default.
- W2111763696 cites W2340735175 @default.
- W2111763696 cites W2462966030 @default.
- W2111763696 cites W2464131888 @default.
- W2111763696 cites W2485260361 @default.
- W2111763696 cites W2600342966 @default.
- W2111763696 cites W2809037521 @default.
- W2111763696 cites W2913459036 @default.
- W2111763696 doi "https://doi.org/10.1016/j.ic.2010.12.002" @default.
- W2111763696 hasPublicationYear "2011" @default.
- W2111763696 type Work @default.
- W2111763696 sameAs 2111763696 @default.
- W2111763696 citedByCount "4" @default.
- W2111763696 countsByYear W21117636962013 @default.
- W2111763696 countsByYear W21117636962015 @default.
- W2111763696 crossrefType "journal-article" @default.
- W2111763696 hasAuthorship W2111763696A5007740136 @default.
- W2111763696 hasAuthorship W2111763696A5063951892 @default.
- W2111763696 hasBestOaLocation W21117636962 @default.
- W2111763696 hasConcept C102993220 @default.
- W2111763696 hasConcept C110251889 @default.
- W2111763696 hasConcept C11191006 @default.
- W2111763696 hasConcept C111919701 @default.
- W2111763696 hasConcept C134306372 @default.
- W2111763696 hasConcept C153269930 @default.
- W2111763696 hasConcept C154945302 @default.
- W2111763696 hasConcept C173125200 @default.
- W2111763696 hasConcept C184337299 @default.
- W2111763696 hasConcept C193702766 @default.
- W2111763696 hasConcept C195818886 @default.
- W2111763696 hasConcept C199360897 @default.
- W2111763696 hasConcept C203659156 @default.
- W2111763696 hasConcept C2777212361 @default.
- W2111763696 hasConcept C28034677 @default.
- W2111763696 hasConcept C33923547 @default.
- W2111763696 hasConcept C41008148 @default.
- W2111763696 hasConcept C61445026 @default.
- W2111763696 hasConcept C80444323 @default.
- W2111763696 hasConcept C94633896 @default.
- W2111763696 hasConceptScore W2111763696C102993220 @default.
- W2111763696 hasConceptScore W2111763696C110251889 @default.
- W2111763696 hasConceptScore W2111763696C11191006 @default.
- W2111763696 hasConceptScore W2111763696C111919701 @default.
- W2111763696 hasConceptScore W2111763696C134306372 @default.
- W2111763696 hasConceptScore W2111763696C153269930 @default.
- W2111763696 hasConceptScore W2111763696C154945302 @default.
- W2111763696 hasConceptScore W2111763696C173125200 @default.
- W2111763696 hasConceptScore W2111763696C184337299 @default.
- W2111763696 hasConceptScore W2111763696C193702766 @default.
- W2111763696 hasConceptScore W2111763696C195818886 @default.
- W2111763696 hasConceptScore W2111763696C199360897 @default.
- W2111763696 hasConceptScore W2111763696C203659156 @default.
- W2111763696 hasConceptScore W2111763696C2777212361 @default.
- W2111763696 hasConceptScore W2111763696C28034677 @default.