Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
View Item 
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Informatik-Berichte
  • View Item
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Informatik-Berichte
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
View Item 
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Informatik-Berichte
  • View Item
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Informatik-Berichte
  • View Item
2011-08-17Buch DOI: 10.18452/2497
Integrating Distributed Algorithms into Distributed Systems
Kindler, Ekkart
Peuker, Sibylle
Distributed algorithms are often part of a larger distributed system. Usually the properties of the algorithm are proven for the algorithm in isolation. Then, it is not obvious how the algorithm behaves integrated into a larger system. In this paper we exploit the simple observation that some actions of a distributed algorithm do not belong to the algorithm but are triggered by the environment. If these actions are distinguished and adequately considered in the veri cation of the algorithm, basically all properties are still valid for the algorithm as a part of a larger distributed system. This result will be formalized in the setting of the Distributed Algorithms Working Notation (DAWN).
Files in this item
Thumbnail
107.pdf — Adobe PDF — 211.9 Kb
MD5: e27c68272367742ee773a523e37d8b98
Cite
BibTeX
EndNote
RIS
InCopyright
Details
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin
 
DOI
10.18452/2497
Permanent URL
https://doi.org/10.18452/2497
HTML
<a href="https://doi.org/10.18452/2497">https://doi.org/10.18452/2497</a>