Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152106193> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2152106193 abstract "We study the model checking problem for fixpoint logics in well-structured multiaction transition systems. P.A. Abdulla et al. (1996) and Finkel & Schnoebelen (2001) examined the decidability problem for liveness (reachability) and progress (eventuality) properties in well-structured single action transition systems. Our main result is as follows: the model checking problem is decidable for disjunctive formulae of the propositional /spl mu/-calculus of D. Kozen (1983) in well-structured transition systems where propositional variables are interpreted by upward cones. We also discuss the model checking problem for the intuitionistic modal logic of Fisher Servi (1984) extended by least fixpoint." @default.
- W2152106193 created "2016-06-24" @default.
- W2152106193 creator A5015394352 @default.
- W2152106193 creator A5076972376 @default.
- W2152106193 creator A5088078978 @default.
- W2152106193 date "2004-01-01" @default.
- W2152106193 modified "2023-09-24" @default.
- W2152106193 title "Model checking /spl mu/-calculus in well-structured transition systems" @default.
- W2152106193 cites W1499268515 @default.
- W2152106193 cites W1604983619 @default.
- W2152106193 cites W184164312 @default.
- W2152106193 cites W1967174286 @default.
- W2152106193 cites W2015640848 @default.
- W2152106193 cites W2123910665 @default.
- W2152106193 cites W2137865376 @default.
- W2152106193 cites W2143326093 @default.
- W2152106193 cites W2570220284 @default.
- W2152106193 doi "https://doi.org/10.1109/time.2004.1314433" @default.
- W2152106193 hasPublicationYear "2004" @default.
- W2152106193 type Work @default.
- W2152106193 sameAs 2152106193 @default.
- W2152106193 citedByCount "6" @default.
- W2152106193 countsByYear W21521061932013 @default.
- W2152106193 countsByYear W21521061932021 @default.
- W2152106193 crossrefType "proceedings-article" @default.
- W2152106193 hasAuthorship W2152106193A5015394352 @default.
- W2152106193 hasAuthorship W2152106193A5076972376 @default.
- W2152106193 hasAuthorship W2152106193A5088078978 @default.
- W2152106193 hasConcept C110251889 @default.
- W2152106193 hasConcept C114092440 @default.
- W2152106193 hasConcept C11413529 @default.
- W2152106193 hasConcept C118615104 @default.
- W2152106193 hasConcept C134306372 @default.
- W2152106193 hasConcept C135315306 @default.
- W2152106193 hasConcept C136119220 @default.
- W2152106193 hasConcept C136643341 @default.
- W2152106193 hasConcept C153269930 @default.
- W2152106193 hasConcept C15569618 @default.
- W2152106193 hasConcept C173125200 @default.
- W2152106193 hasConcept C185592680 @default.
- W2152106193 hasConcept C188027245 @default.
- W2152106193 hasConcept C199343813 @default.
- W2152106193 hasConcept C202444582 @default.
- W2152106193 hasConcept C27508121 @default.
- W2152106193 hasConcept C2777686260 @default.
- W2152106193 hasConcept C2779167558 @default.
- W2152106193 hasConcept C33923547 @default.
- W2152106193 hasConcept C41008148 @default.
- W2152106193 hasConcept C61445026 @default.
- W2152106193 hasConcept C69562738 @default.
- W2152106193 hasConcept C71139939 @default.
- W2152106193 hasConcept C71924100 @default.
- W2152106193 hasConcept C80444323 @default.
- W2152106193 hasConceptScore W2152106193C110251889 @default.
- W2152106193 hasConceptScore W2152106193C114092440 @default.
- W2152106193 hasConceptScore W2152106193C11413529 @default.
- W2152106193 hasConceptScore W2152106193C118615104 @default.
- W2152106193 hasConceptScore W2152106193C134306372 @default.
- W2152106193 hasConceptScore W2152106193C135315306 @default.
- W2152106193 hasConceptScore W2152106193C136119220 @default.
- W2152106193 hasConceptScore W2152106193C136643341 @default.
- W2152106193 hasConceptScore W2152106193C153269930 @default.
- W2152106193 hasConceptScore W2152106193C15569618 @default.
- W2152106193 hasConceptScore W2152106193C173125200 @default.
- W2152106193 hasConceptScore W2152106193C185592680 @default.
- W2152106193 hasConceptScore W2152106193C188027245 @default.
- W2152106193 hasConceptScore W2152106193C199343813 @default.
- W2152106193 hasConceptScore W2152106193C202444582 @default.
- W2152106193 hasConceptScore W2152106193C27508121 @default.
- W2152106193 hasConceptScore W2152106193C2777686260 @default.
- W2152106193 hasConceptScore W2152106193C2779167558 @default.
- W2152106193 hasConceptScore W2152106193C33923547 @default.
- W2152106193 hasConceptScore W2152106193C41008148 @default.
- W2152106193 hasConceptScore W2152106193C61445026 @default.
- W2152106193 hasConceptScore W2152106193C69562738 @default.
- W2152106193 hasConceptScore W2152106193C71139939 @default.
- W2152106193 hasConceptScore W2152106193C71924100 @default.
- W2152106193 hasConceptScore W2152106193C80444323 @default.
- W2152106193 hasLocation W21521061931 @default.
- W2152106193 hasOpenAccess W2152106193 @default.
- W2152106193 hasPrimaryLocation W21521061931 @default.
- W2152106193 hasRelatedWork W1536658706 @default.
- W2152106193 hasRelatedWork W2005263036 @default.
- W2152106193 hasRelatedWork W2058885253 @default.
- W2152106193 hasRelatedWork W2121590963 @default.
- W2152106193 hasRelatedWork W2152106193 @default.
- W2152106193 hasRelatedWork W2395398205 @default.
- W2152106193 hasRelatedWork W2795481420 @default.
- W2152106193 hasRelatedWork W3205223140 @default.
- W2152106193 hasRelatedWork W4294810627 @default.
- W2152106193 hasRelatedWork W2584450811 @default.
- W2152106193 isParatext "false" @default.
- W2152106193 isRetracted "false" @default.
- W2152106193 magId "2152106193" @default.
- W2152106193 workType "article" @default.