Matches in SemOpenAlex for { <https://semopenalex.org/work/W3010854310> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3010854310 endingPage "761" @default.
- W3010854310 startingPage "751" @default.
- W3010854310 abstract "Proving the correctness of distributed algorithms is a difficult challenge in dynamic networks. In these networks, topological changes can take place due to unexpected appearance and disappearance of devices and communication links. The existing studies in the literature lack a general model for their development and their proof. Besides, most of the proofs which have been introduced are handwritten. Our work aims at providing a reusable approach which reduces the specification and verification efforts of distributed algorithms. At the first stage, we present a basic pattern which aims to deal with topological events. At the second stage, we extend this pattern to construct and maintain a spanning forest in a dynamic network. We illustrate the extended pattern through the leader election algorithm. We show the efficiency of our approach by presenting the number of proofs associated with the development of the algorithm with and without using the pattern." @default.
- W3010854310 created "2020-03-23" @default.
- W3010854310 creator A5023903997 @default.
- W3010854310 creator A5067540221 @default.
- W3010854310 creator A5068363334 @default.
- W3010854310 date "2020-07-01" @default.
- W3010854310 modified "2023-10-18" @default.
- W3010854310 title "Modeling and Proving Distributed Algorithms for Dynamic Graphs" @default.
- W3010854310 cites W1971486022 @default.
- W3010854310 cites W1982459859 @default.
- W3010854310 cites W2031111226 @default.
- W3010854310 cites W2038814435 @default.
- W3010854310 cites W2139093174 @default.
- W3010854310 cites W2782305552 @default.
- W3010854310 cites W2964315789 @default.
- W3010854310 cites W2998718989 @default.
- W3010854310 doi "https://doi.org/10.1016/j.future.2020.03.003" @default.
- W3010854310 hasPublicationYear "2020" @default.
- W3010854310 type Work @default.
- W3010854310 sameAs 3010854310 @default.
- W3010854310 citedByCount "4" @default.
- W3010854310 countsByYear W30108543102020 @default.
- W3010854310 countsByYear W30108543102021 @default.
- W3010854310 countsByYear W30108543102022 @default.
- W3010854310 crossrefType "journal-article" @default.
- W3010854310 hasAuthorship W3010854310A5023903997 @default.
- W3010854310 hasAuthorship W3010854310A5067540221 @default.
- W3010854310 hasAuthorship W3010854310A5068363334 @default.
- W3010854310 hasBestOaLocation W30108543101 @default.
- W3010854310 hasConcept C108710211 @default.
- W3010854310 hasConcept C11413529 @default.
- W3010854310 hasConcept C120314980 @default.
- W3010854310 hasConcept C130120984 @default.
- W3010854310 hasConcept C134306372 @default.
- W3010854310 hasConcept C2524010 @default.
- W3010854310 hasConcept C2776542497 @default.
- W3010854310 hasConcept C2780801425 @default.
- W3010854310 hasConcept C31258907 @default.
- W3010854310 hasConcept C33923547 @default.
- W3010854310 hasConcept C41008148 @default.
- W3010854310 hasConcept C55439883 @default.
- W3010854310 hasConcept C80444323 @default.
- W3010854310 hasConceptScore W3010854310C108710211 @default.
- W3010854310 hasConceptScore W3010854310C11413529 @default.
- W3010854310 hasConceptScore W3010854310C120314980 @default.
- W3010854310 hasConceptScore W3010854310C130120984 @default.
- W3010854310 hasConceptScore W3010854310C134306372 @default.
- W3010854310 hasConceptScore W3010854310C2524010 @default.
- W3010854310 hasConceptScore W3010854310C2776542497 @default.
- W3010854310 hasConceptScore W3010854310C2780801425 @default.
- W3010854310 hasConceptScore W3010854310C31258907 @default.
- W3010854310 hasConceptScore W3010854310C33923547 @default.
- W3010854310 hasConceptScore W3010854310C41008148 @default.
- W3010854310 hasConceptScore W3010854310C55439883 @default.
- W3010854310 hasConceptScore W3010854310C80444323 @default.
- W3010854310 hasLocation W30108543101 @default.
- W3010854310 hasOpenAccess W3010854310 @default.
- W3010854310 hasPrimaryLocation W30108543101 @default.
- W3010854310 hasRelatedWork W1019628555 @default.
- W3010854310 hasRelatedWork W1485627940 @default.
- W3010854310 hasRelatedWork W1997440650 @default.
- W3010854310 hasRelatedWork W2113181166 @default.
- W3010854310 hasRelatedWork W2116536633 @default.
- W3010854310 hasRelatedWork W2136052444 @default.
- W3010854310 hasRelatedWork W2950028700 @default.
- W3010854310 hasRelatedWork W3010854310 @default.
- W3010854310 hasRelatedWork W4301176064 @default.
- W3010854310 hasRelatedWork W2092665931 @default.
- W3010854310 hasVolume "108" @default.
- W3010854310 isParatext "false" @default.
- W3010854310 isRetracted "false" @default.
- W3010854310 magId "3010854310" @default.
- W3010854310 workType "article" @default.