Matches in SemOpenAlex for { <https://semopenalex.org/work/W2277816930> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2277816930 abstract "Verification of concurrent systems is a difficult problem in general, and this is the case even more in a parametrized setting where unboundedly many concurrent components are considered. Recently, Hague proposed an architecture with a leader process and unboundedly many copies of a contributor process interacting over a shared memory for which safety properties can be effectively verified. All processes in Hague's setting are pushdown automata. Here, we extend it by considering other formal models and, as a main contribution, find very liberal conditions on the individual processes under which the safety problem is decidable: the only substantial condition we require is the effective computability of the downward closure for the class of the leader processes. Furthermore, our result allows for a hierarchical approach to constructing models of concurrent systems with decidable safety problem: networks with tree-like architecture, where each process shares a register with its children processes (and another register with its parent). Nodes in such networks can be for instance pushdown automata, Petri nets, or multi-pushdown systems with decidable reachability problem." @default.
- W2277816930 created "2016-06-24" @default.
- W2277816930 creator A5044780614 @default.
- W2277816930 creator A5064757019 @default.
- W2277816930 creator A5078894561 @default.
- W2277816930 date "2015-09-01" @default.
- W2277816930 modified "2023-10-11" @default.
- W2277816930 title "Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable " @default.
- W2277816930 doi "https://doi.org/10.4230/lipics.concur.2015.72" @default.
- W2277816930 hasPublicationYear "2015" @default.
- W2277816930 type Work @default.
- W2277816930 sameAs 2277816930 @default.
- W2277816930 citedByCount "7" @default.
- W2277816930 countsByYear W22778169302016 @default.
- W2277816930 countsByYear W22778169302017 @default.
- W2277816930 countsByYear W22778169302019 @default.
- W2277816930 countsByYear W22778169302021 @default.
- W2277816930 crossrefType "proceedings-article" @default.
- W2277816930 hasAuthorship W2277816930A5044780614 @default.
- W2277816930 hasAuthorship W2277816930A5064757019 @default.
- W2277816930 hasAuthorship W2277816930A5078894561 @default.
- W2277816930 hasBestOaLocation W22778169301 @default.
- W2277816930 hasConcept C151319957 @default.
- W2277816930 hasConcept C153269930 @default.
- W2277816930 hasConcept C173608175 @default.
- W2277816930 hasConcept C199360897 @default.
- W2277816930 hasConcept C31258907 @default.
- W2277816930 hasConcept C41008148 @default.
- W2277816930 hasConcept C80444323 @default.
- W2277816930 hasConceptScore W2277816930C151319957 @default.
- W2277816930 hasConceptScore W2277816930C153269930 @default.
- W2277816930 hasConceptScore W2277816930C173608175 @default.
- W2277816930 hasConceptScore W2277816930C199360897 @default.
- W2277816930 hasConceptScore W2277816930C31258907 @default.
- W2277816930 hasConceptScore W2277816930C41008148 @default.
- W2277816930 hasConceptScore W2277816930C80444323 @default.
- W2277816930 hasLocation W22778169301 @default.
- W2277816930 hasLocation W22778169302 @default.
- W2277816930 hasLocation W22778169303 @default.
- W2277816930 hasLocation W22778169304 @default.
- W2277816930 hasOpenAccess W2277816930 @default.
- W2277816930 hasPrimaryLocation W22778169301 @default.
- W2277816930 hasRelatedWork W1481826604 @default.
- W2277816930 hasRelatedWork W1501430220 @default.
- W2277816930 hasRelatedWork W1797057780 @default.
- W2277816930 hasRelatedWork W2116677773 @default.
- W2277816930 hasRelatedWork W2331020993 @default.
- W2277816930 hasRelatedWork W2972379433 @default.
- W2277816930 hasRelatedWork W3187762542 @default.
- W2277816930 hasRelatedWork W4383764068 @default.
- W2277816930 hasRelatedWork W2583549044 @default.
- W2277816930 hasRelatedWork W2583753471 @default.
- W2277816930 isParatext "false" @default.
- W2277816930 isRetracted "false" @default.
- W2277816930 magId "2277816930" @default.
- W2277816930 workType "article" @default.