Matches in SemOpenAlex for { <https://semopenalex.org/work/W3020622706> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3020622706 startingPage "30520" @default.
- W3020622706 abstract "The well-known problem of leader election in distributed systems is considered in a dynamic context where processes may participate and crash spontaneously. Processes communicate by means of buffered broadcasting as opposed to usual point-to-point communication. In this paper we design a leader election protocol in such a dynamic context. As the problem at hand is considerably complex we develop the protocol in three steps. In the initial design processes are considered to be perfect and a leader is assumed to be present initially. In the second protocol, the assumption of an initial leader is dropped. This leads to a symmetric protocol which uses an (abstract) timeout mechanism to detect the absence of a leader. Finally, in the last step of the design processes may crash without giving any notification of other processes. The worst case message complexity of all protocols is addressed. A formal approach to the specification and verification of the leader election protocols is adopted. The requirements are specified in a property-oriented way and the protocols are denoted by means of extended finite state machines. It is proven using linear-time temporal logic that the fault-tolerant protocol satisfies its requirements." @default.
- W3020622706 created "2020-05-01" @default.
- W3020622706 creator A5003093044 @default.
- W3020622706 creator A5024602195 @default.
- W3020622706 creator A5027257586 @default.
- W3020622706 creator A5090819329 @default.
- W3020622706 date "1993-09-01" @default.
- W3020622706 modified "2023-09-23" @default.
- W3020622706 title "Design and analysis of dynamic leader election protocols in broadcast networks" @default.
- W3020622706 hasPublicationYear "1993" @default.
- W3020622706 type Work @default.
- W3020622706 sameAs 3020622706 @default.
- W3020622706 citedByCount "0" @default.
- W3020622706 crossrefType "journal-article" @default.
- W3020622706 hasAuthorship W3020622706A5003093044 @default.
- W3020622706 hasAuthorship W3020622706A5024602195 @default.
- W3020622706 hasAuthorship W3020622706A5027257586 @default.
- W3020622706 hasAuthorship W3020622706A5090819329 @default.
- W3020622706 hasConcept C110157686 @default.
- W3020622706 hasConcept C120314980 @default.
- W3020622706 hasConcept C12269588 @default.
- W3020622706 hasConcept C142724271 @default.
- W3020622706 hasConcept C151730666 @default.
- W3020622706 hasConcept C183469790 @default.
- W3020622706 hasConcept C199360897 @default.
- W3020622706 hasConcept C204787440 @default.
- W3020622706 hasConcept C2779343474 @default.
- W3020622706 hasConcept C2780385302 @default.
- W3020622706 hasConcept C31258907 @default.
- W3020622706 hasConcept C31691690 @default.
- W3020622706 hasConcept C41008148 @default.
- W3020622706 hasConcept C53480672 @default.
- W3020622706 hasConcept C71924100 @default.
- W3020622706 hasConcept C86803240 @default.
- W3020622706 hasConceptScore W3020622706C110157686 @default.
- W3020622706 hasConceptScore W3020622706C120314980 @default.
- W3020622706 hasConceptScore W3020622706C12269588 @default.
- W3020622706 hasConceptScore W3020622706C142724271 @default.
- W3020622706 hasConceptScore W3020622706C151730666 @default.
- W3020622706 hasConceptScore W3020622706C183469790 @default.
- W3020622706 hasConceptScore W3020622706C199360897 @default.
- W3020622706 hasConceptScore W3020622706C204787440 @default.
- W3020622706 hasConceptScore W3020622706C2779343474 @default.
- W3020622706 hasConceptScore W3020622706C2780385302 @default.
- W3020622706 hasConceptScore W3020622706C31258907 @default.
- W3020622706 hasConceptScore W3020622706C31691690 @default.
- W3020622706 hasConceptScore W3020622706C41008148 @default.
- W3020622706 hasConceptScore W3020622706C53480672 @default.
- W3020622706 hasConceptScore W3020622706C71924100 @default.
- W3020622706 hasConceptScore W3020622706C86803240 @default.
- W3020622706 hasOpenAccess W3020622706 @default.
- W3020622706 hasRelatedWork W1579136274 @default.
- W3020622706 hasRelatedWork W1598390602 @default.
- W3020622706 hasRelatedWork W1849677436 @default.
- W3020622706 hasRelatedWork W1855455775 @default.
- W3020622706 hasRelatedWork W1989940749 @default.
- W3020622706 hasRelatedWork W2027032605 @default.
- W3020622706 hasRelatedWork W2039317558 @default.
- W3020622706 hasRelatedWork W2059506535 @default.
- W3020622706 hasRelatedWork W2069009452 @default.
- W3020622706 hasRelatedWork W2114846754 @default.
- W3020622706 hasRelatedWork W2118748833 @default.
- W3020622706 hasRelatedWork W2138085895 @default.
- W3020622706 hasRelatedWork W2152590033 @default.
- W3020622706 hasRelatedWork W2230829409 @default.
- W3020622706 hasRelatedWork W2460392745 @default.
- W3020622706 hasRelatedWork W2593961861 @default.
- W3020622706 hasRelatedWork W2885194617 @default.
- W3020622706 hasRelatedWork W3009662339 @default.
- W3020622706 hasRelatedWork W3045535804 @default.
- W3020622706 hasRelatedWork W3172044144 @default.
- W3020622706 hasVolume "94" @default.
- W3020622706 isParatext "false" @default.
- W3020622706 isRetracted "false" @default.
- W3020622706 magId "3020622706" @default.
- W3020622706 workType "article" @default.