Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143784257> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2143784257 abstract "Partial order reduction methods rely on expanding a state space only partially, exploring representatives of sets of executions of a system. The methods differ at least in three respects:the set of properties that are preserved, the notions of interaction between transitions, and the methods of selecting the representative transitions. We explore an existing but less studied method of weak stubborn sets in the context of process-algebraic parallel composition. The theory of stubborn set methods is based on global condition son executions. In practice, these conditions are guaranteed by using static dependency information in the form of dependency and causality relations. We propose a compositional approach for these conditions. We extract dependency information from the component processes by analysing the components in detail and then define compositional rules for system-level dependency information. We use novel localised conditions of dependency that the weak stubborn set method can make use of. We carry out some experiments in the context of FDR, to explore the relative merits of the method compared to the more well-known version of stubborn sets with and without compositional analysis. We do this for both a deadlock preserving reduction and a version that preserves the failures/divergences semantics of FDR." @default.
- W2143784257 created "2016-06-24" @default.
- W2143784257 creator A5019190547 @default.
- W2143784257 creator A5023565327 @default.
- W2143784257 date "2011-06-01" @default.
- W2143784257 modified "2023-10-16" @default.
- W2143784257 title "Compositional Analysis for Weak Stubborn Sets" @default.
- W2143784257 cites W1494237684 @default.
- W2143784257 cites W1513924733 @default.
- W2143784257 cites W1728128845 @default.
- W2143784257 cites W1934074768 @default.
- W2143784257 cites W1979834320 @default.
- W2143784257 cites W2122762495 @default.
- W2143784257 cites W2128510433 @default.
- W2143784257 cites W2140038789 @default.
- W2143784257 cites W2151689074 @default.
- W2143784257 cites W2911867855 @default.
- W2143784257 cites W2508602472 @default.
- W2143784257 doi "https://doi.org/10.1109/acsd.2011.25" @default.
- W2143784257 hasPublicationYear "2011" @default.
- W2143784257 type Work @default.
- W2143784257 sameAs 2143784257 @default.
- W2143784257 citedByCount "7" @default.
- W2143784257 countsByYear W21437842572014 @default.
- W2143784257 countsByYear W21437842572015 @default.
- W2143784257 countsByYear W21437842572016 @default.
- W2143784257 countsByYear W21437842572022 @default.
- W2143784257 crossrefType "proceedings-article" @default.
- W2143784257 hasAuthorship W2143784257A5019190547 @default.
- W2143784257 hasAuthorship W2143784257A5023565327 @default.
- W2143784257 hasConcept C110251889 @default.
- W2143784257 hasConcept C11413529 @default.
- W2143784257 hasConcept C121332964 @default.
- W2143784257 hasConcept C132525143 @default.
- W2143784257 hasConcept C151730666 @default.
- W2143784257 hasConcept C154945302 @default.
- W2143784257 hasConcept C159023740 @default.
- W2143784257 hasConcept C16311509 @default.
- W2143784257 hasConcept C177264268 @default.
- W2143784257 hasConcept C184337299 @default.
- W2143784257 hasConcept C19768560 @default.
- W2143784257 hasConcept C199360897 @default.
- W2143784257 hasConcept C2779343474 @default.
- W2143784257 hasConcept C41008148 @default.
- W2143784257 hasConcept C62520636 @default.
- W2143784257 hasConcept C64357122 @default.
- W2143784257 hasConcept C76363472 @default.
- W2143784257 hasConcept C80444323 @default.
- W2143784257 hasConcept C86803240 @default.
- W2143784257 hasConcept C94633896 @default.
- W2143784257 hasConceptScore W2143784257C110251889 @default.
- W2143784257 hasConceptScore W2143784257C11413529 @default.
- W2143784257 hasConceptScore W2143784257C121332964 @default.
- W2143784257 hasConceptScore W2143784257C132525143 @default.
- W2143784257 hasConceptScore W2143784257C151730666 @default.
- W2143784257 hasConceptScore W2143784257C154945302 @default.
- W2143784257 hasConceptScore W2143784257C159023740 @default.
- W2143784257 hasConceptScore W2143784257C16311509 @default.
- W2143784257 hasConceptScore W2143784257C177264268 @default.
- W2143784257 hasConceptScore W2143784257C184337299 @default.
- W2143784257 hasConceptScore W2143784257C19768560 @default.
- W2143784257 hasConceptScore W2143784257C199360897 @default.
- W2143784257 hasConceptScore W2143784257C2779343474 @default.
- W2143784257 hasConceptScore W2143784257C41008148 @default.
- W2143784257 hasConceptScore W2143784257C62520636 @default.
- W2143784257 hasConceptScore W2143784257C64357122 @default.
- W2143784257 hasConceptScore W2143784257C76363472 @default.
- W2143784257 hasConceptScore W2143784257C80444323 @default.
- W2143784257 hasConceptScore W2143784257C86803240 @default.
- W2143784257 hasConceptScore W2143784257C94633896 @default.
- W2143784257 hasLocation W21437842571 @default.
- W2143784257 hasOpenAccess W2143784257 @default.
- W2143784257 hasPrimaryLocation W21437842571 @default.
- W2143784257 hasRelatedWork W1495266274 @default.
- W2143784257 hasRelatedWork W1536239557 @default.
- W2143784257 hasRelatedWork W1560330117 @default.
- W2143784257 hasRelatedWork W172450508 @default.
- W2143784257 hasRelatedWork W2143784257 @default.
- W2143784257 hasRelatedWork W2159078082 @default.
- W2143784257 hasRelatedWork W2799328696 @default.
- W2143784257 hasRelatedWork W2903136963 @default.
- W2143784257 hasRelatedWork W2981707591 @default.
- W2143784257 hasRelatedWork W4300999886 @default.
- W2143784257 isParatext "false" @default.
- W2143784257 isRetracted "false" @default.
- W2143784257 magId "2143784257" @default.
- W2143784257 workType "article" @default.