FRINK Linked Data Fragments server

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

• W1860778183 abstract "The term distributed Consensus denotes the problem of getting a certain number of processes, that could be far away from each other and that exchange messages through some communication means, to all agree on the same value. This problem has been proved impossible to solve in asynchronous settings when at least one process can crash, i.e., stop working. Since the problem of reaching Consensus among processes is recurrent in the domain of distributed computation, many algorithms have been proposed for solving it, circumventing the impossibility result through the introduction of some kind of synchrony in the system. Such algorithms are traditionally expressed in natural language or in pseudocode, thus sometimes generating ambiguities on their contents and on their correctness proofs. In this thesis, we propose a simple, yet efficient way of providing formal descriptions and proofs of distributed Consensus algorithms. Such method is based on the use of inference rules, it requires very little prior knowledge in order to be understood, and follows closely the way algorithms are expressed in pseudocode, thus being intuitive for the users. To show the validity of our claims, we use our method to formalize two of the major distributed Consensus algorithms, namely the Chandra-Toueg and the Paxos algorithms. Using our rigorous description, we then formally prove that such algorithms guarantee the respect of the Validity, Agreement and Termination properties that every solution to the Consensus problem should provide. This proving exercise actually reveals interesting results. We see that the Chandra-Toueg and the Paxos algorithms have strong points of resemblance and their correctness proofs can be carried out in very similar manners. However, while the Chandra-Toueg algorithm proves to be correct under the point of view of the three properties, we discover that Paxos does not give any guarantee of terminating. This generates a philosophical question: should such algorithm be considered a Consensus algorithm or not?" @default.
• W1860778183 created "2016-06-24" @default.
• W1860778183 creator A5081845998 @default.
• W1860778183 date "2008-01-01" @default.
• W1860778183 modified "2023-09-23" @default.
• W1860778183 title "A formal approach to fault tolerant distributed consensus" @default.
• W1860778183 cites W138290785 @default.
• W1860778183 cites W1492015538 @default.
• W1860778183 cites W1495250406 @default.
• W1860778183 cites W1498709867 @default.
• W1860778183 cites W1504504841 @default.
• W1860778183 cites W1528448306 @default.
• W1860778183 cites W1534850143 @default.
• W1860778183 cites W1545155892 @default.
• W1860778183 cites W1545761035 @default.
• W1860778183 cites W1561267729 @default.
• W1860778183 cites W1577633104 @default.
• W1860778183 cites W1601418559 @default.
• W1860778183 cites W1605048253 @default.
• W1860778183 cites W163475531 @default.
• W1860778183 cites W1850900101 @default.
• W1860778183 cites W1921598128 @default.
• W1860778183 cites W1964727056 @default.
• W1860778183 cites W1974090207 @default.
• W1860778183 cites W1976772592 @default.
• W1860778183 cites W1982168019 @default.
• W1860778183 cites W1986658425 @default.
• W1860778183 cites W1999787317 @default.
• W1860778183 cites W2000302396 @default.
• W1860778183 cites W2003214215 @default.
• W1860778183 cites W2013672985 @default.
• W1860778183 cites W2027330435 @default.
• W1860778183 cites W2035362408 @default.
• W1860778183 cites W2075854425 @default.
• W1860778183 cites W2077240273 @default.
• W1860778183 cites W2085407655 @default.
• W1860778183 cites W2096968109 @default.
• W1860778183 cites W2107825954 @default.
• W1860778183 cites W2110425399 @default.
• W1860778183 cites W2118150420 @default.
• W1860778183 cites W2119091865 @default.
• W1860778183 cites W2124406154 @default.
• W1860778183 cites W2126969628 @default.
• W1860778183 cites W2128932399 @default.
• W1860778183 cites W2131848219 @default.
• W1860778183 cites W2132107743 @default.
• W1860778183 cites W2133943294 @default.
• W1860778183 cites W2136259232 @default.
• W1860778183 cites W2137865376 @default.
• W1860778183 cites W2137918685 @default.
• W1860778183 cites W2143149536 @default.
• W1860778183 cites W2155037890 @default.
• W1860778183 cites W2158942489 @default.
• W1860778183 cites W2182688186 @default.
• W1860778183 cites W2303597401 @default.
• W1860778183 cites W2397135574 @default.
• W1860778183 cites W2801026249 @default.
• W1860778183 cites W2912556876 @default.
• W1860778183 cites W2913161219 @default.
• W1860778183 cites W3022429701 @default.
• W1860778183 cites W3137092842 @default.
• W1860778183 cites W3144368627 @default.
• W1860778183 cites W767627079 @default.
• W1860778183 doi "https://doi.org/10.5075/epfl-thesis-3980" @default.
• W1860778183 hasPublicationYear "2008" @default.
• W1860778183 type Work @default.
• W1860778183 sameAs 1860778183 @default.
• W1860778183 citedByCount "2" @default.
• W1860778183 countsByYear W18607781832014 @default.
• W1860778183 countsByYear W18607781832018 @default.
• W1860778183 crossrefType "journal-article" @default.
• W1860778183 hasAuthorship W1860778183A5081845998 @default.
• W1860778183 hasConcept C107107730 @default.
• W1860778183 hasConcept C108710211 @default.
• W1860778183 hasConcept C11413529 @default.
• W1860778183 hasConcept C120314980 @default.
• W1860778183 hasConcept C130120984 @default.
• W1860778183 hasConcept C151319957 @default.
• W1860778183 hasConcept C154945302 @default.
• W1860778183 hasConcept C17744445 @default.
• W1860778183 hasConcept C199539241 @default.
• W1860778183 hasConcept C2524010 @default.
• W1860778183 hasConcept C2776214188 @default.
• W1860778183 hasConcept C2776261394 @default.
• W1860778183 hasConcept C31258907 @default.
• W1860778183 hasConcept C33923547 @default.
• W1860778183 hasConcept C41008148 @default.
• W1860778183 hasConcept C41550386 @default.
• W1860778183 hasConcept C55439883 @default.
• W1860778183 hasConcept C80444323 @default.
• W1860778183 hasConcept C80966040 @default.
• W1860778183 hasConceptScore W1860778183C107107730 @default.
• W1860778183 hasConceptScore W1860778183C108710211 @default.
• W1860778183 hasConceptScore W1860778183C11413529 @default.
• W1860778183 hasConceptScore W1860778183C120314980 @default.
• W1860778183 hasConceptScore W1860778183C130120984 @default.
• W1860778183 hasConceptScore W1860778183C151319957 @default.
• W1860778183 hasConceptScore W1860778183C154945302 @default.
• W1860778183 hasConceptScore W1860778183C17744445 @default.
• W1860778183 hasConceptScore W1860778183C199539241 @default.

• next