Matches in SemOpenAlex for { <https://semopenalex.org/work/W1493702131> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1493702131 abstract "The only way to verify the correctness of a distributed algorithm with a high degree of confidence is to construct a correctness proof that is so formal and rigorous as to be checkable by a machine. The chief aim of this paper is to show, via a simple but typical example, how such proofs can be constructed and checked using HOL—a mechanical theorem-proving system for higher-order logic. The secondary aim is to demonstrate a method for reasoning about distributed algorithms based on the notions of events and causality. The goal is to perform as much reasoning as possible in the events-and-causality view and then translate the results back to the processors-and-messages view, since the former is more abstract and easier to reason about than the latter. The example we use to illustrate our ideas is the verification of a simple distributed summation algorithm for trees. A companion paper [6] describes the formal graph theory needed for this task." @default.
- W1493702131 created "2016-06-24" @default.
- W1493702131 creator A5070662691 @default.
- W1493702131 date "1994-01-01" @default.
- W1493702131 modified "2023-09-27" @default.
- W1493702131 title "Mechanical verification of distributed algorithms in higher-order logic" @default.
- W1493702131 cites W1544270696 @default.
- W1493702131 cites W1565996669 @default.
- W1493702131 cites W1578491500 @default.
- W1493702131 cites W1588424036 @default.
- W1493702131 cites W1785117661 @default.
- W1493702131 cites W1826166329 @default.
- W1493702131 cites W2052504823 @default.
- W1493702131 cites W2058696974 @default.
- W1493702131 cites W2077371116 @default.
- W1493702131 cites W2157118812 @default.
- W1493702131 cites W2171972466 @default.
- W1493702131 cites W2487516120 @default.
- W1493702131 cites W4298045671 @default.
- W1493702131 cites W4300021588 @default.
- W1493702131 doi "https://doi.org/10.1007/3-540-58450-1_41" @default.
- W1493702131 hasPublicationYear "1994" @default.
- W1493702131 type Work @default.
- W1493702131 sameAs 1493702131 @default.
- W1493702131 citedByCount "9" @default.
- W1493702131 countsByYear W14937021312014 @default.
- W1493702131 countsByYear W14937021312018 @default.
- W1493702131 crossrefType "book-chapter" @default.
- W1493702131 hasAuthorship W1493702131A5070662691 @default.
- W1493702131 hasConcept C108710211 @default.
- W1493702131 hasConcept C111472728 @default.
- W1493702131 hasConcept C111498074 @default.
- W1493702131 hasConcept C11413529 @default.
- W1493702131 hasConcept C130120984 @default.
- W1493702131 hasConcept C132525143 @default.
- W1493702131 hasConcept C138885662 @default.
- W1493702131 hasConcept C17435882 @default.
- W1493702131 hasConcept C199360897 @default.
- W1493702131 hasConcept C206880738 @default.
- W1493702131 hasConcept C2318724 @default.
- W1493702131 hasConcept C2524010 @default.
- W1493702131 hasConcept C2780586882 @default.
- W1493702131 hasConcept C2780801425 @default.
- W1493702131 hasConcept C33923547 @default.
- W1493702131 hasConcept C41008148 @default.
- W1493702131 hasConcept C55439883 @default.
- W1493702131 hasConcept C80444323 @default.
- W1493702131 hasConcept C94461902 @default.
- W1493702131 hasConceptScore W1493702131C108710211 @default.
- W1493702131 hasConceptScore W1493702131C111472728 @default.
- W1493702131 hasConceptScore W1493702131C111498074 @default.
- W1493702131 hasConceptScore W1493702131C11413529 @default.
- W1493702131 hasConceptScore W1493702131C130120984 @default.
- W1493702131 hasConceptScore W1493702131C132525143 @default.
- W1493702131 hasConceptScore W1493702131C138885662 @default.
- W1493702131 hasConceptScore W1493702131C17435882 @default.
- W1493702131 hasConceptScore W1493702131C199360897 @default.
- W1493702131 hasConceptScore W1493702131C206880738 @default.
- W1493702131 hasConceptScore W1493702131C2318724 @default.
- W1493702131 hasConceptScore W1493702131C2524010 @default.
- W1493702131 hasConceptScore W1493702131C2780586882 @default.
- W1493702131 hasConceptScore W1493702131C2780801425 @default.
- W1493702131 hasConceptScore W1493702131C33923547 @default.
- W1493702131 hasConceptScore W1493702131C41008148 @default.
- W1493702131 hasConceptScore W1493702131C55439883 @default.
- W1493702131 hasConceptScore W1493702131C80444323 @default.
- W1493702131 hasConceptScore W1493702131C94461902 @default.
- W1493702131 hasLocation W14937021311 @default.
- W1493702131 hasOpenAccess W1493702131 @default.
- W1493702131 hasPrimaryLocation W14937021311 @default.
- W1493702131 hasRelatedWork W153200464 @default.
- W1493702131 hasRelatedWork W1536477339 @default.
- W1493702131 hasRelatedWork W1582986256 @default.
- W1493702131 hasRelatedWork W1606684007 @default.
- W1493702131 hasRelatedWork W1860410757 @default.
- W1493702131 hasRelatedWork W2004436487 @default.
- W1493702131 hasRelatedWork W2023009516 @default.
- W1493702131 hasRelatedWork W2101413772 @default.
- W1493702131 hasRelatedWork W2116591673 @default.
- W1493702131 hasRelatedWork W2130524429 @default.
- W1493702131 hasRelatedWork W2136755926 @default.
- W1493702131 hasRelatedWork W2154231274 @default.
- W1493702131 hasRelatedWork W2168187072 @default.
- W1493702131 hasRelatedWork W2171187554 @default.
- W1493702131 hasRelatedWork W2342011962 @default.
- W1493702131 hasRelatedWork W2464096065 @default.
- W1493702131 hasRelatedWork W2485562425 @default.
- W1493702131 hasRelatedWork W2570880747 @default.
- W1493702131 hasRelatedWork W3029162146 @default.
- W1493702131 hasRelatedWork W311743796 @default.
- W1493702131 isParatext "false" @default.
- W1493702131 isRetracted "false" @default.
- W1493702131 magId "1493702131" @default.
- W1493702131 workType "book-chapter" @default.