Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149674037> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2149674037 endingPage "16" @default.
- W2149674037 startingPage "4" @default.
- W2149674037 abstract "We describe a parallel model-checking algorithm for the fragment of the μ-calculus that allows one alternation of minimal and maximal fixed-point operators. This fragment is also known as L2μ. Since LTL and CTL∗ can be encoded in this fragment, we obtain parallel model checking algorithms for practically important temporal logics. Our solution is based on a characterization of this problem in terms of two player games. We exhibit the structure of their game graphs and show that we can iteratively work with game graphs that have the same special structure as the ones obtained for L1μ-formulae. Since good parallel algorithms for colouring game-graphs for L1μ-formulae exist, it is straightforward to implement this algorithm in parallel and good run-time results can be expected." @default.
- W2149674037 created "2016-06-24" @default.
- W2149674037 creator A5002397514 @default.
- W2149674037 creator A5015320770 @default.
- W2149674037 creator A5030905955 @default.
- W2149674037 date "2003-09-01" @default.
- W2149674037 modified "2023-10-16" @default.
- W2149674037 title "Parallel Model Checking for LTL, CTL∗, and L2μ" @default.
- W2149674037 cites W122407544 @default.
- W2149674037 cites W1483156373 @default.
- W2149674037 cites W1807369440 @default.
- W2149674037 cites W1853488118 @default.
- W2149674037 cites W2015640848 @default.
- W2149674037 cites W2112535338 @default.
- W2149674037 cites W2168498451 @default.
- W2149674037 cites W2340735175 @default.
- W2149674037 cites W2913459036 @default.
- W2149674037 cites W30961909 @default.
- W2149674037 doi "https://doi.org/10.1016/s1571-0661(05)80093-3" @default.
- W2149674037 hasPublicationYear "2003" @default.
- W2149674037 type Work @default.
- W2149674037 sameAs 2149674037 @default.
- W2149674037 citedByCount "16" @default.
- W2149674037 countsByYear W21496740372012 @default.
- W2149674037 countsByYear W21496740372013 @default.
- W2149674037 countsByYear W21496740372014 @default.
- W2149674037 countsByYear W21496740372020 @default.
- W2149674037 crossrefType "journal-article" @default.
- W2149674037 hasAuthorship W2149674037A5002397514 @default.
- W2149674037 hasAuthorship W2149674037A5015320770 @default.
- W2149674037 hasAuthorship W2149674037A5030905955 @default.
- W2149674037 hasBestOaLocation W21496740371 @default.
- W2149674037 hasConcept C110251889 @default.
- W2149674037 hasConcept C11413529 @default.
- W2149674037 hasConcept C134306372 @default.
- W2149674037 hasConcept C147969180 @default.
- W2149674037 hasConcept C154317977 @default.
- W2149674037 hasConcept C185592680 @default.
- W2149674037 hasConcept C202751555 @default.
- W2149674037 hasConcept C25016198 @default.
- W2149674037 hasConcept C2776235265 @default.
- W2149674037 hasConcept C33923547 @default.
- W2149674037 hasConcept C41008148 @default.
- W2149674037 hasConcept C55493867 @default.
- W2149674037 hasConcept C61445026 @default.
- W2149674037 hasConcept C80444323 @default.
- W2149674037 hasConceptScore W2149674037C110251889 @default.
- W2149674037 hasConceptScore W2149674037C11413529 @default.
- W2149674037 hasConceptScore W2149674037C134306372 @default.
- W2149674037 hasConceptScore W2149674037C147969180 @default.
- W2149674037 hasConceptScore W2149674037C154317977 @default.
- W2149674037 hasConceptScore W2149674037C185592680 @default.
- W2149674037 hasConceptScore W2149674037C202751555 @default.
- W2149674037 hasConceptScore W2149674037C25016198 @default.
- W2149674037 hasConceptScore W2149674037C2776235265 @default.
- W2149674037 hasConceptScore W2149674037C33923547 @default.
- W2149674037 hasConceptScore W2149674037C41008148 @default.
- W2149674037 hasConceptScore W2149674037C55493867 @default.
- W2149674037 hasConceptScore W2149674037C61445026 @default.
- W2149674037 hasConceptScore W2149674037C80444323 @default.
- W2149674037 hasIssue "1" @default.
- W2149674037 hasLocation W21496740371 @default.
- W2149674037 hasOpenAccess W2149674037 @default.
- W2149674037 hasPrimaryLocation W21496740371 @default.
- W2149674037 hasRelatedWork W1485309947 @default.
- W2149674037 hasRelatedWork W1553268179 @default.
- W2149674037 hasRelatedWork W1874424006 @default.
- W2149674037 hasRelatedWork W2059221592 @default.
- W2149674037 hasRelatedWork W2119610731 @default.
- W2149674037 hasRelatedWork W2136741886 @default.
- W2149674037 hasRelatedWork W2610756526 @default.
- W2149674037 hasRelatedWork W2931443989 @default.
- W2149674037 hasRelatedWork W4214723139 @default.
- W2149674037 hasRelatedWork W4299672095 @default.
- W2149674037 hasVolume "89" @default.
- W2149674037 isParatext "false" @default.
- W2149674037 isRetracted "false" @default.
- W2149674037 magId "2149674037" @default.
- W2149674037 workType "article" @default.