Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545945432> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1545945432 endingPage "253" @default.
- W1545945432 startingPage "242" @default.
- W1545945432 abstract "Designers of network algorithms give elegant informal descriptions of the intuition behind their algorithms (see [GHS83, Hu83, MS79, Se82, Se83, ZS80]). Usually, these descriptions are structured as if tasks or subtasks are performed sequentially. From an operational point of view, however, they are performed concurrently. Here, we present a design principle that formally describes how to develop algorithms according to such sequentially phased explanations. The design principle is formulated using Manna and Pnueli's linear time temporal logic [MP83]. This principle, together with Chandy and Misra's technique [CM88] or Back and Sere's technique [BS89] for designing parallel algorithms, is applicable to large classes of algorithms, such as those for minimum-path, connectivity, network flow, and minimum-weight spanning trees. In particular, the distributed minimum-weight spanning tree algorithm of Gallager, Humblet, and Spira [GHS83] is structured according to our principle.KeywordsDesign PrincipleProof SystemFull PaperCorrectness ProofVerification ConditionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1545945432 created "2016-06-24" @default.
- W1545945432 creator A5000911479 @default.
- W1545945432 creator A5004498658 @default.
- W1545945432 date "1989-01-01" @default.
- W1545945432 modified "2023-09-25" @default.
- W1545945432 title "Designing distributed algorithms by means of formal sequentially phased reasoning" @default.
- W1545945432 cites W1502318811 @default.
- W1545945432 cites W1545945432 @default.
- W1545945432 cites W1591677552 @default.
- W1545945432 cites W1603163314 @default.
- W1545945432 cites W1666576026 @default.
- W1545945432 cites W1984831616 @default.
- W1545945432 cites W2013173096 @default.
- W1545945432 cites W2042981544 @default.
- W1545945432 cites W2052504823 @default.
- W1545945432 cites W2058696974 @default.
- W1545945432 cites W2066612386 @default.
- W1545945432 cites W2077371116 @default.
- W1545945432 cites W2128823163 @default.
- W1545945432 cites W2131053137 @default.
- W1545945432 cites W2160098227 @default.
- W1545945432 cites W2165681304 @default.
- W1545945432 cites W2170720733 @default.
- W1545945432 cites W2296352387 @default.
- W1545945432 doi "https://doi.org/10.1007/3-540-51687-5_47" @default.
- W1545945432 hasPublicationYear "1989" @default.
- W1545945432 type Work @default.
- W1545945432 sameAs 1545945432 @default.
- W1545945432 citedByCount "22" @default.
- W1545945432 crossrefType "book-chapter" @default.
- W1545945432 hasAuthorship W1545945432A5000911479 @default.
- W1545945432 hasAuthorship W1545945432A5004498658 @default.
- W1545945432 hasConcept C111472728 @default.
- W1545945432 hasConcept C11413529 @default.
- W1545945432 hasConcept C118615104 @default.
- W1545945432 hasConcept C132010649 @default.
- W1545945432 hasConcept C13743678 @default.
- W1545945432 hasConcept C138885662 @default.
- W1545945432 hasConcept C154945302 @default.
- W1545945432 hasConcept C199360897 @default.
- W1545945432 hasConcept C2524010 @default.
- W1545945432 hasConcept C28719098 @default.
- W1545945432 hasConcept C33923547 @default.
- W1545945432 hasConcept C41008148 @default.
- W1545945432 hasConcept C63645285 @default.
- W1545945432 hasConcept C64331007 @default.
- W1545945432 hasConcept C80444323 @default.
- W1545945432 hasConcept C98045186 @default.
- W1545945432 hasConceptScore W1545945432C111472728 @default.
- W1545945432 hasConceptScore W1545945432C11413529 @default.
- W1545945432 hasConceptScore W1545945432C118615104 @default.
- W1545945432 hasConceptScore W1545945432C132010649 @default.
- W1545945432 hasConceptScore W1545945432C13743678 @default.
- W1545945432 hasConceptScore W1545945432C138885662 @default.
- W1545945432 hasConceptScore W1545945432C154945302 @default.
- W1545945432 hasConceptScore W1545945432C199360897 @default.
- W1545945432 hasConceptScore W1545945432C2524010 @default.
- W1545945432 hasConceptScore W1545945432C28719098 @default.
- W1545945432 hasConceptScore W1545945432C33923547 @default.
- W1545945432 hasConceptScore W1545945432C41008148 @default.
- W1545945432 hasConceptScore W1545945432C63645285 @default.
- W1545945432 hasConceptScore W1545945432C64331007 @default.
- W1545945432 hasConceptScore W1545945432C80444323 @default.
- W1545945432 hasConceptScore W1545945432C98045186 @default.
- W1545945432 hasLocation W15459454321 @default.
- W1545945432 hasOpenAccess W1545945432 @default.
- W1545945432 hasPrimaryLocation W15459454321 @default.
- W1545945432 hasRelatedWork W1990360663 @default.
- W1545945432 hasRelatedWork W2048055294 @default.
- W1545945432 hasRelatedWork W2135993528 @default.
- W1545945432 hasRelatedWork W2184564780 @default.
- W1545945432 hasRelatedWork W2261331513 @default.
- W1545945432 hasRelatedWork W2320647101 @default.
- W1545945432 hasRelatedWork W2366635201 @default.
- W1545945432 hasRelatedWork W2377507989 @default.
- W1545945432 hasRelatedWork W2390801585 @default.
- W1545945432 hasRelatedWork W986975891 @default.
- W1545945432 isParatext "false" @default.
- W1545945432 isRetracted "false" @default.
- W1545945432 magId "1545945432" @default.
- W1545945432 workType "book-chapter" @default.