Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386880084> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4386880084 endingPage "332" @default.
- W4386880084 startingPage "318" @default.
- W4386880084 abstract "A cooperating multi-pushdown system consists of a tuple of pushdown systems that can delegate the execution of recursive procedures to sub-tuples; control returns to the calling tuple once all sub-tuples finished their task. This allows the concurrent execution since disjoint sub-tuples can perform their task independently. Because of the concrete form of recursive descent into sub-tuples, the content of the multi-pushdown does not form an arbitrary tuple of words, but can be understood as a Mazurkiewicz trace. For such systems, we prove that the backwards reachability relation efficiently preserves recognizability, generalizing a result and proof technique by Bouajjani et al. for single-pushdown systems. While this preservation does not hold for the forwards reachability relation, we can show that it efficiently preserves the rationality of a set of configurations; the proof of this latter result is inspired by the work by Finkel et al. It follows that the reachability relation is decidable for cooperating multi-pushdown systems in polynomial time and the same holds, e.g., for safety and liveness properties given by recognizable sets of configurations." @default.
- W4386880084 created "2023-09-21" @default.
- W4386880084 creator A5029292910 @default.
- W4386880084 creator A5077823013 @default.
- W4386880084 date "2023-01-01" @default.
- W4386880084 modified "2023-10-02" @default.
- W4386880084 title "Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems" @default.
- W4386880084 cites W131795912 @default.
- W4386880084 cites W1493367105 @default.
- W4386880084 cites W1529497146 @default.
- W4386880084 cites W1563656742 @default.
- W4386880084 cites W1570445666 @default.
- W4386880084 cites W1589224558 @default.
- W4386880084 cites W1905205673 @default.
- W4386880084 cites W2063156356 @default.
- W4386880084 cites W2081431431 @default.
- W4386880084 cites W2107398710 @default.
- W4386880084 cites W2148722937 @default.
- W4386880084 cites W2163903931 @default.
- W4386880084 cites W2508346251 @default.
- W4386880084 cites W2788350744 @default.
- W4386880084 cites W2891953455 @default.
- W4386880084 cites W2965450052 @default.
- W4386880084 cites W4301322018 @default.
- W4386880084 cites W89384568 @default.
- W4386880084 cites W89538287 @default.
- W4386880084 doi "https://doi.org/10.1007/978-3-031-43587-4_23" @default.
- W4386880084 hasPublicationYear "2023" @default.
- W4386880084 type Work @default.
- W4386880084 citedByCount "0" @default.
- W4386880084 crossrefType "book-chapter" @default.
- W4386880084 hasAuthorship W4386880084A5029292910 @default.
- W4386880084 hasAuthorship W4386880084A5077823013 @default.
- W4386880084 hasConcept C11413529 @default.
- W4386880084 hasConcept C118615104 @default.
- W4386880084 hasConcept C118930307 @default.
- W4386880084 hasConcept C136643341 @default.
- W4386880084 hasConcept C153269930 @default.
- W4386880084 hasConcept C15569618 @default.
- W4386880084 hasConcept C25343380 @default.
- W4386880084 hasConcept C2777669093 @default.
- W4386880084 hasConcept C33923547 @default.
- W4386880084 hasConcept C41008148 @default.
- W4386880084 hasConcept C45340560 @default.
- W4386880084 hasConcept C77088390 @default.
- W4386880084 hasConcept C80444323 @default.
- W4386880084 hasConceptScore W4386880084C11413529 @default.
- W4386880084 hasConceptScore W4386880084C118615104 @default.
- W4386880084 hasConceptScore W4386880084C118930307 @default.
- W4386880084 hasConceptScore W4386880084C136643341 @default.
- W4386880084 hasConceptScore W4386880084C153269930 @default.
- W4386880084 hasConceptScore W4386880084C15569618 @default.
- W4386880084 hasConceptScore W4386880084C25343380 @default.
- W4386880084 hasConceptScore W4386880084C2777669093 @default.
- W4386880084 hasConceptScore W4386880084C33923547 @default.
- W4386880084 hasConceptScore W4386880084C41008148 @default.
- W4386880084 hasConceptScore W4386880084C45340560 @default.
- W4386880084 hasConceptScore W4386880084C77088390 @default.
- W4386880084 hasConceptScore W4386880084C80444323 @default.
- W4386880084 hasLocation W43868800841 @default.
- W4386880084 hasOpenAccess W4386880084 @default.
- W4386880084 hasPrimaryLocation W43868800841 @default.
- W4386880084 hasRelatedWork W1629112568 @default.
- W4386880084 hasRelatedWork W1851153456 @default.
- W4386880084 hasRelatedWork W2296248291 @default.
- W4386880084 hasRelatedWork W2616106208 @default.
- W4386880084 hasRelatedWork W2949572356 @default.
- W4386880084 hasRelatedWork W2961758588 @default.
- W4386880084 hasRelatedWork W3016701145 @default.
- W4386880084 hasRelatedWork W4210984521 @default.
- W4386880084 hasRelatedWork W4299446758 @default.
- W4386880084 hasRelatedWork W4300915329 @default.
- W4386880084 isParatext "false" @default.
- W4386880084 isRetracted "false" @default.
- W4386880084 workType "book-chapter" @default.