Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134126189> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2134126189 abstract "Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the set of successors of a regular set of configurations can be non-regular, making forward analysis of these models difficult. We refine the model by adding the associative-commutative properties of parallel composition, and we define Presburger weighted tree automata, an extension of weighted automata and tree automata, that accept the set of successors of a regular set of configurations. This allows forward analysis of PDN since these automata have a decidable emptiness problem and are closed under intersection." @default.
- W2134126189 created "2016-06-24" @default.
- W2134126189 creator A5019390358 @default.
- W2134126189 date "2009-01-01" @default.
- W2134126189 modified "2023-09-25" @default.
- W2134126189 title "Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order" @default.
- W2134126189 cites W1530940145 @default.
- W2134126189 cites W1551108348 @default.
- W2134126189 cites W1561190901 @default.
- W2134126189 cites W1964874178 @default.
- W2134126189 cites W2008958263 @default.
- W2134126189 cites W2157148396 @default.
- W2134126189 cites W4205625588 @default.
- W2134126189 cites W4230104298 @default.
- W2134126189 cites W4232505977 @default.
- W2134126189 cites W4301322018 @default.
- W2134126189 doi "https://doi.org/10.1007/978-3-642-04420-5_13" @default.
- W2134126189 hasPublicationYear "2009" @default.
- W2134126189 type Work @default.
- W2134126189 sameAs 2134126189 @default.
- W2134126189 citedByCount "2" @default.
- W2134126189 countsByYear W21341261892017 @default.
- W2134126189 crossrefType "book-chapter" @default.
- W2134126189 hasAuthorship W2134126189A5019390358 @default.
- W2134126189 hasConcept C112505250 @default.
- W2134126189 hasConcept C11413529 @default.
- W2134126189 hasConcept C136643341 @default.
- W2134126189 hasConcept C153269930 @default.
- W2134126189 hasConcept C177264268 @default.
- W2134126189 hasConcept C199360897 @default.
- W2134126189 hasConcept C2778583254 @default.
- W2134126189 hasConcept C41008148 @default.
- W2134126189 hasConcept C77944639 @default.
- W2134126189 hasConcept C80444323 @default.
- W2134126189 hasConceptScore W2134126189C112505250 @default.
- W2134126189 hasConceptScore W2134126189C11413529 @default.
- W2134126189 hasConceptScore W2134126189C136643341 @default.
- W2134126189 hasConceptScore W2134126189C153269930 @default.
- W2134126189 hasConceptScore W2134126189C177264268 @default.
- W2134126189 hasConceptScore W2134126189C199360897 @default.
- W2134126189 hasConceptScore W2134126189C2778583254 @default.
- W2134126189 hasConceptScore W2134126189C41008148 @default.
- W2134126189 hasConceptScore W2134126189C77944639 @default.
- W2134126189 hasConceptScore W2134126189C80444323 @default.
- W2134126189 hasLocation W21341261891 @default.
- W2134126189 hasOpenAccess W2134126189 @default.
- W2134126189 hasPrimaryLocation W21341261891 @default.
- W2134126189 hasRelatedWork W154301702 @default.
- W2134126189 hasRelatedWork W1685060813 @default.
- W2134126189 hasRelatedWork W173662904 @default.
- W2134126189 hasRelatedWork W1908450151 @default.
- W2134126189 hasRelatedWork W1974086470 @default.
- W2134126189 hasRelatedWork W1975745970 @default.
- W2134126189 hasRelatedWork W1979078717 @default.
- W2134126189 hasRelatedWork W1987632493 @default.
- W2134126189 hasRelatedWork W1988808695 @default.
- W2134126189 hasRelatedWork W1997450827 @default.
- W2134126189 hasRelatedWork W2111299652 @default.
- W2134126189 hasRelatedWork W2177956183 @default.
- W2134126189 hasRelatedWork W2271415246 @default.
- W2134126189 hasRelatedWork W2292959956 @default.
- W2134126189 hasRelatedWork W2406845908 @default.
- W2134126189 hasRelatedWork W2740745789 @default.
- W2134126189 hasRelatedWork W2757576996 @default.
- W2134126189 hasRelatedWork W3006296679 @default.
- W2134126189 hasRelatedWork W3011019575 @default.
- W2134126189 hasRelatedWork W3141621133 @default.
- W2134126189 isParatext "false" @default.
- W2134126189 isRetracted "false" @default.
- W2134126189 magId "2134126189" @default.
- W2134126189 workType "book-chapter" @default.