Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113351799> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2113351799 abstract "We dispel the myth that it is impossible for any stabilizing message passing program to be terminating. We identify fixpoint-symmetry as a necessary condition for a message passing stabilizing program to be terminating. Our results do confirm that a number of well-known input-output problems (e.g., leader election and consensus) do not admit a terminating and stabilizing solution. On the flip side, they show that reactive problems such as mutual exclusion and reliable-transmission do admit such solutions. We go on to present stabilizing and terminating programs for both problems. Also, we describe a way to add termination to a stabilizing program, and demonstrate it in the context of our design of a solution to the reliable-transmission problem." @default.
- W2113351799 created "2016-06-24" @default.
- W2113351799 creator A5003970530 @default.
- W2113351799 creator A5079903777 @default.
- W2113351799 date "2002-11-13" @default.
- W2113351799 modified "2023-09-26" @default.
- W2113351799 title "Unifying stabilization and termination in message-passing systems" @default.
- W2113351799 cites W1531062132 @default.
- W2113351799 cites W1951113730 @default.
- W2113351799 cites W1973501242 @default.
- W2113351799 cites W1974608468 @default.
- W2113351799 cites W1996295704 @default.
- W2113351799 cites W1998808350 @default.
- W2113351799 cites W2003620294 @default.
- W2113351799 cites W2013173096 @default.
- W2113351799 cites W2038478160 @default.
- W2113351799 cites W2047359491 @default.
- W2113351799 cites W2140953267 @default.
- W2113351799 cites W2144884804 @default.
- W2113351799 cites W2145786150 @default.
- W2113351799 cites W2295747887 @default.
- W2113351799 doi "https://doi.org/10.1109/icdsc.2001.918938" @default.
- W2113351799 hasPublicationYear "2002" @default.
- W2113351799 type Work @default.
- W2113351799 sameAs 2113351799 @default.
- W2113351799 citedByCount "4" @default.
- W2113351799 crossrefType "proceedings-article" @default.
- W2113351799 hasAuthorship W2113351799A5003970530 @default.
- W2113351799 hasAuthorship W2113351799A5079903777 @default.
- W2113351799 hasConcept C120314980 @default.
- W2113351799 hasConcept C151730666 @default.
- W2113351799 hasConcept C159333733 @default.
- W2113351799 hasConcept C199360897 @default.
- W2113351799 hasConcept C2779343474 @default.
- W2113351799 hasConcept C41008148 @default.
- W2113351799 hasConcept C53480672 @default.
- W2113351799 hasConcept C56348326 @default.
- W2113351799 hasConcept C761482 @default.
- W2113351799 hasConcept C76155785 @default.
- W2113351799 hasConcept C80444323 @default.
- W2113351799 hasConcept C854659 @default.
- W2113351799 hasConcept C86803240 @default.
- W2113351799 hasConceptScore W2113351799C120314980 @default.
- W2113351799 hasConceptScore W2113351799C151730666 @default.
- W2113351799 hasConceptScore W2113351799C159333733 @default.
- W2113351799 hasConceptScore W2113351799C199360897 @default.
- W2113351799 hasConceptScore W2113351799C2779343474 @default.
- W2113351799 hasConceptScore W2113351799C41008148 @default.
- W2113351799 hasConceptScore W2113351799C53480672 @default.
- W2113351799 hasConceptScore W2113351799C56348326 @default.
- W2113351799 hasConceptScore W2113351799C761482 @default.
- W2113351799 hasConceptScore W2113351799C76155785 @default.
- W2113351799 hasConceptScore W2113351799C80444323 @default.
- W2113351799 hasConceptScore W2113351799C854659 @default.
- W2113351799 hasConceptScore W2113351799C86803240 @default.
- W2113351799 hasLocation W21133517991 @default.
- W2113351799 hasOpenAccess W2113351799 @default.
- W2113351799 hasPrimaryLocation W21133517991 @default.
- W2113351799 hasRelatedWork W1499148852 @default.
- W2113351799 hasRelatedWork W1564430618 @default.
- W2113351799 hasRelatedWork W1598920571 @default.
- W2113351799 hasRelatedWork W2001743172 @default.
- W2113351799 hasRelatedWork W2015468161 @default.
- W2113351799 hasRelatedWork W2054342912 @default.
- W2113351799 hasRelatedWork W2091631716 @default.
- W2113351799 hasRelatedWork W2111132249 @default.
- W2113351799 hasRelatedWork W2118570620 @default.
- W2113351799 hasRelatedWork W2132852411 @default.
- W2113351799 hasRelatedWork W2157021524 @default.
- W2113351799 hasRelatedWork W2157536763 @default.
- W2113351799 hasRelatedWork W2158126713 @default.
- W2113351799 hasRelatedWork W2169526328 @default.
- W2113351799 hasRelatedWork W2572676850 @default.
- W2113351799 hasRelatedWork W2963943254 @default.
- W2113351799 hasRelatedWork W3157944784 @default.
- W2113351799 hasRelatedWork W3206658942 @default.
- W2113351799 hasRelatedWork W995142416 @default.
- W2113351799 hasRelatedWork W2274032987 @default.
- W2113351799 isParatext "false" @default.
- W2113351799 isRetracted "false" @default.
- W2113351799 magId "2113351799" @default.
- W2113351799 workType "article" @default.