Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135103852> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2135103852 abstract "Self-stabilizing systems are systems that automatically recover from any transient fault. Proving the correctness of a parameterized self-stabilizing system, i.e., a system composed of an arbitrary number of processes, is a challenging task. For the verification of parameterized systems the method of control abstraction has been developed. However, control abstraction can only be applied to systems in which each process has a fixed number of observable variables. In this article, we propose a technique to abstract a parameterized self-stabilizing system, whose processes have a parameterized number of observable variables, to a system with fixed number of observable variables. This enables the use of control abstraction for verification. The proposed technique targets low-atomicity, shared-memory, asynchronous systems. We establish the completeness of the method under reasonable conditions and demonstrate its effectiveness by applying it on a number of self-stabilizing distributed systems." @default.
- W2135103852 created "2016-06-24" @default.
- W2135103852 creator A5012787050 @default.
- W2135103852 creator A5041622284 @default.
- W2135103852 creator A5052779900 @default.
- W2135103852 creator A5068224304 @default.
- W2135103852 date "2008-10-19" @default.
- W2135103852 modified "2023-09-26" @default.
- W2135103852 title "State space abstraction for parameterized self-stabilizing embedded systems" @default.
- W2135103852 cites W1554289869 @default.
- W2135103852 cites W1565619746 @default.
- W2135103852 cites W1997216056 @default.
- W2135103852 cites W2027755003 @default.
- W2135103852 cites W2048880957 @default.
- W2135103852 cites W2053525600 @default.
- W2135103852 cites W2132107743 @default.
- W2135103852 cites W2145786150 @default.
- W2135103852 cites W2155387407 @default.
- W2135103852 cites W2295747887 @default.
- W2135103852 doi "https://doi.org/10.1145/1450058.1450061" @default.
- W2135103852 hasPublicationYear "2008" @default.
- W2135103852 type Work @default.
- W2135103852 sameAs 2135103852 @default.
- W2135103852 citedByCount "8" @default.
- W2135103852 countsByYear W21351038522012 @default.
- W2135103852 countsByYear W21351038522013 @default.
- W2135103852 countsByYear W21351038522019 @default.
- W2135103852 countsByYear W21351038522020 @default.
- W2135103852 crossrefType "proceedings-article" @default.
- W2135103852 hasAuthorship W2135103852A5012787050 @default.
- W2135103852 hasAuthorship W2135103852A5041622284 @default.
- W2135103852 hasAuthorship W2135103852A5052779900 @default.
- W2135103852 hasAuthorship W2135103852A5068224304 @default.
- W2135103852 hasConcept C105795698 @default.
- W2135103852 hasConcept C111472728 @default.
- W2135103852 hasConcept C11413529 @default.
- W2135103852 hasConcept C124304363 @default.
- W2135103852 hasConcept C138885662 @default.
- W2135103852 hasConcept C165464430 @default.
- W2135103852 hasConcept C199360897 @default.
- W2135103852 hasConcept C33923547 @default.
- W2135103852 hasConcept C41008148 @default.
- W2135103852 hasConcept C48103436 @default.
- W2135103852 hasConcept C72434380 @default.
- W2135103852 hasConcept C80444323 @default.
- W2135103852 hasConceptScore W2135103852C105795698 @default.
- W2135103852 hasConceptScore W2135103852C111472728 @default.
- W2135103852 hasConceptScore W2135103852C11413529 @default.
- W2135103852 hasConceptScore W2135103852C124304363 @default.
- W2135103852 hasConceptScore W2135103852C138885662 @default.
- W2135103852 hasConceptScore W2135103852C165464430 @default.
- W2135103852 hasConceptScore W2135103852C199360897 @default.
- W2135103852 hasConceptScore W2135103852C33923547 @default.
- W2135103852 hasConceptScore W2135103852C41008148 @default.
- W2135103852 hasConceptScore W2135103852C48103436 @default.
- W2135103852 hasConceptScore W2135103852C72434380 @default.
- W2135103852 hasConceptScore W2135103852C80444323 @default.
- W2135103852 hasLocation W21351038521 @default.
- W2135103852 hasOpenAccess W2135103852 @default.
- W2135103852 hasPrimaryLocation W21351038521 @default.
- W2135103852 hasRelatedWork W1591842587 @default.
- W2135103852 hasRelatedWork W1752774183 @default.
- W2135103852 hasRelatedWork W2067840450 @default.
- W2135103852 hasRelatedWork W2099009818 @default.
- W2135103852 hasRelatedWork W2276164673 @default.
- W2135103852 hasRelatedWork W2364147724 @default.
- W2135103852 hasRelatedWork W2395041977 @default.
- W2135103852 hasRelatedWork W2529248383 @default.
- W2135103852 hasRelatedWork W295290875 @default.
- W2135103852 hasRelatedWork W4299967976 @default.
- W2135103852 isParatext "false" @default.
- W2135103852 isRetracted "false" @default.
- W2135103852 magId "2135103852" @default.
- W2135103852 workType "article" @default.