FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105321111> ?p ?o ?g. }

• W2105321111 abstract "This paper presents a method that can generate Self-Stabilizing (SS) parameterized protocols that are generalizable, i.e., correct for arbitrary number of finite-state processes. Specifically, we present necessary and sufficient conditions specified in the local state space of the representative process of parameterized rings for deadlock-freedom in their global state space. Moreover, we introduce sufficient conditions that guarantee live lock-freedom in arbitrary-sized unidirectional rings. We illustrate the proposed approach in the context of several classic examples including a maximal matching protocol and an agreement protocol. More importantly, the proposed method lays the foundation of an approach for automated design of global convergence in the local state space of the representative process." @default.
• W2105321111 created "2016-06-24" @default.
• W2105321111 creator A5028729238 @default.
• W2105321111 creator A5086886157 @default.
• W2105321111 date "2012-06-01" @default.
• W2105321111 modified "2023-09-26" @default.
• W2105321111 title "Local Reasoning for Global Convergence of Parameterized Rings" @default.
• W2105321111 cites W1488858096 @default.
• W2105321111 cites W1492062136 @default.
• W2105321111 cites W1495119494 @default.
• W2105321111 cites W1517752490 @default.
• W2105321111 cites W1540501475 @default.
• W2105321111 cites W1544017304 @default.
• W2105321111 cites W1586053457 @default.
• W2105321111 cites W1897718099 @default.
• W2105321111 cites W1900590961 @default.
• W2105321111 cites W1901784050 @default.
• W2105321111 cites W1929373254 @default.
• W2105321111 cites W2000210358 @default.
• W2105321111 cites W2000676183 @default.
• W2105321111 cites W2015849324 @default.
• W2105321111 cites W2095425626 @default.
• W2105321111 cites W2105321111 @default.
• W2105321111 cites W2111132249 @default.
• W2105321111 cites W2164058887 @default.
• W2105321111 cites W2168804407 @default.
• W2105321111 cites W2294004164 @default.
• W2105321111 cites W2294012738 @default.
• W2105321111 cites W2295747887 @default.
• W2105321111 cites W2295794173 @default.
• W2105321111 cites W4254970788 @default.
• W2105321111 doi "https://doi.org/10.1109/icdcs.2012.66" @default.
• W2105321111 hasPublicationYear "2012" @default.
• W2105321111 type Work @default.
• W2105321111 sameAs 2105321111 @default.
• W2105321111 citedByCount "12" @default.
• W2105321111 countsByYear W21053211112012 @default.
• W2105321111 countsByYear W21053211112013 @default.
• W2105321111 countsByYear W21053211112016 @default.
• W2105321111 countsByYear W21053211112017 @default.
• W2105321111 countsByYear W21053211112019 @default.
• W2105321111 countsByYear W21053211112020 @default.
• W2105321111 countsByYear W21053211112021 @default.
• W2105321111 countsByYear W21053211112022 @default.
• W2105321111 crossrefType "proceedings-article" @default.
• W2105321111 hasAuthorship W2105321111A5028729238 @default.
• W2105321111 hasAuthorship W2105321111A5086886157 @default.
• W2105321111 hasConcept C105795698 @default.
• W2105321111 hasConcept C111919701 @default.
• W2105321111 hasConcept C11413529 @default.
• W2105321111 hasConcept C120314980 @default.
• W2105321111 hasConcept C121332964 @default.
• W2105321111 hasConcept C126255220 @default.
• W2105321111 hasConcept C142724271 @default.
• W2105321111 hasConcept C151730666 @default.
• W2105321111 hasConcept C159023740 @default.
• W2105321111 hasConcept C162324750 @default.
• W2105321111 hasConcept C165064840 @default.
• W2105321111 hasConcept C165464430 @default.
• W2105321111 hasConcept C204787440 @default.
• W2105321111 hasConcept C208081375 @default.
• W2105321111 hasConcept C2777303404 @default.
• W2105321111 hasConcept C2779343474 @default.
• W2105321111 hasConcept C2780385302 @default.
• W2105321111 hasConcept C33923547 @default.
• W2105321111 hasConcept C41008148 @default.
• W2105321111 hasConcept C48103436 @default.
• W2105321111 hasConcept C50522688 @default.
• W2105321111 hasConcept C62520636 @default.
• W2105321111 hasConcept C71924100 @default.
• W2105321111 hasConcept C72434380 @default.
• W2105321111 hasConcept C80444323 @default.
• W2105321111 hasConcept C86803240 @default.
• W2105321111 hasConcept C98045186 @default.
• W2105321111 hasConceptScore W2105321111C105795698 @default.
• W2105321111 hasConceptScore W2105321111C111919701 @default.
• W2105321111 hasConceptScore W2105321111C11413529 @default.
• W2105321111 hasConceptScore W2105321111C120314980 @default.
• W2105321111 hasConceptScore W2105321111C121332964 @default.
• W2105321111 hasConceptScore W2105321111C126255220 @default.
• W2105321111 hasConceptScore W2105321111C142724271 @default.
• W2105321111 hasConceptScore W2105321111C151730666 @default.
• W2105321111 hasConceptScore W2105321111C159023740 @default.
• W2105321111 hasConceptScore W2105321111C162324750 @default.
• W2105321111 hasConceptScore W2105321111C165064840 @default.
• W2105321111 hasConceptScore W2105321111C165464430 @default.
• W2105321111 hasConceptScore W2105321111C204787440 @default.
• W2105321111 hasConceptScore W2105321111C208081375 @default.
• W2105321111 hasConceptScore W2105321111C2777303404 @default.
• W2105321111 hasConceptScore W2105321111C2779343474 @default.
• W2105321111 hasConceptScore W2105321111C2780385302 @default.
• W2105321111 hasConceptScore W2105321111C33923547 @default.
• W2105321111 hasConceptScore W2105321111C41008148 @default.
• W2105321111 hasConceptScore W2105321111C48103436 @default.
• W2105321111 hasConceptScore W2105321111C50522688 @default.
• W2105321111 hasConceptScore W2105321111C62520636 @default.
• W2105321111 hasConceptScore W2105321111C71924100 @default.
• W2105321111 hasConceptScore W2105321111C72434380 @default.
• W2105321111 hasConceptScore W2105321111C80444323 @default.
• W2105321111 hasConceptScore W2105321111C86803240 @default.

• next