Matches in SemOpenAlex for { <https://semopenalex.org/work/W2276682279> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2276682279 endingPage "417" @default.
- W2276682279 startingPage "405" @default.
- W2276682279 abstract "We provide complexity characterizations of model checking multi-pushdown systems. We consider three standard notions for boundedness: context boundedness, phase boundedness and stack ordering. The logical formalism is a linear-time temporal logic extending well-known logic CaRet but dedicated to multi-pushdown systems in which abstract operators are parameterized by stacks. We show that the problem is ExpTime-complete for context-bounded runs and unary encoding of the number of context switches; we also prove that the problem is 2ExpTime-complete for phase-bounded runs and unary encoding of the number of phase switches. In both cases, the value k is given as an input, which makes a substantial difference in the complexity." @default.
- W2276682279 created "2016-06-24" @default.
- W2276682279 creator A5032173124 @default.
- W2276682279 creator A5060413318 @default.
- W2276682279 date "2013-01-01" @default.
- W2276682279 modified "2023-10-14" @default.
- W2276682279 title "Model-Checking Bounded Multi-Pushdown Systems" @default.
- W2276682279 cites W1493367105 @default.
- W2276682279 cites W153330214 @default.
- W2276682279 cites W1556566737 @default.
- W2276682279 cites W1589224558 @default.
- W2276682279 cites W1602322980 @default.
- W2276682279 cites W1603445208 @default.
- W2276682279 cites W174890186 @default.
- W2276682279 cites W1974068220 @default.
- W2276682279 cites W1976646422 @default.
- W2276682279 cites W2107398710 @default.
- W2276682279 cites W2141500543 @default.
- W2276682279 cites W2145494365 @default.
- W2276682279 cites W2165546792 @default.
- W2276682279 cites W4229692082 @default.
- W2276682279 doi "https://doi.org/10.1007/978-3-642-38536-0_35" @default.
- W2276682279 hasPublicationYear "2013" @default.
- W2276682279 type Work @default.
- W2276682279 sameAs 2276682279 @default.
- W2276682279 citedByCount "7" @default.
- W2276682279 countsByYear W22766822792014 @default.
- W2276682279 countsByYear W22766822792015 @default.
- W2276682279 countsByYear W22766822792017 @default.
- W2276682279 countsByYear W22766822792018 @default.
- W2276682279 countsByYear W22766822792021 @default.
- W2276682279 crossrefType "book-chapter" @default.
- W2276682279 hasAuthorship W2276682279A5032173124 @default.
- W2276682279 hasAuthorship W2276682279A5060413318 @default.
- W2276682279 hasBestOaLocation W22766822792 @default.
- W2276682279 hasConcept C11413529 @default.
- W2276682279 hasConcept C118615104 @default.
- W2276682279 hasConcept C134306372 @default.
- W2276682279 hasConcept C165464430 @default.
- W2276682279 hasConcept C33923547 @default.
- W2276682279 hasConcept C34388435 @default.
- W2276682279 hasConcept C41008148 @default.
- W2276682279 hasConcept C78023250 @default.
- W2276682279 hasConceptScore W2276682279C11413529 @default.
- W2276682279 hasConceptScore W2276682279C118615104 @default.
- W2276682279 hasConceptScore W2276682279C134306372 @default.
- W2276682279 hasConceptScore W2276682279C165464430 @default.
- W2276682279 hasConceptScore W2276682279C33923547 @default.
- W2276682279 hasConceptScore W2276682279C34388435 @default.
- W2276682279 hasConceptScore W2276682279C41008148 @default.
- W2276682279 hasConceptScore W2276682279C78023250 @default.
- W2276682279 hasLocation W22766822791 @default.
- W2276682279 hasLocation W22766822792 @default.
- W2276682279 hasLocation W22766822793 @default.
- W2276682279 hasLocation W22766822794 @default.
- W2276682279 hasLocation W22766822795 @default.
- W2276682279 hasLocation W22766822796 @default.
- W2276682279 hasOpenAccess W2276682279 @default.
- W2276682279 hasPrimaryLocation W22766822791 @default.
- W2276682279 hasRelatedWork W1582633789 @default.
- W2276682279 hasRelatedWork W1606810574 @default.
- W2276682279 hasRelatedWork W1875643871 @default.
- W2276682279 hasRelatedWork W1983687462 @default.
- W2276682279 hasRelatedWork W2033265717 @default.
- W2276682279 hasRelatedWork W2050719228 @default.
- W2276682279 hasRelatedWork W2147159309 @default.
- W2276682279 hasRelatedWork W2173621488 @default.
- W2276682279 hasRelatedWork W3099588981 @default.
- W2276682279 hasRelatedWork W3193574081 @default.
- W2276682279 isParatext "false" @default.
- W2276682279 isRetracted "false" @default.
- W2276682279 magId "2276682279" @default.
- W2276682279 workType "book-chapter" @default.