Online-Ressource
Berlin : Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Umfang:
1 Online-Ressource (16 Seiten)
ISSN:
0863-095X
Serie:
Informatik-Berichte 1998,2011,107
Inhalt:
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 verication 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).
Sprache:
Englisch
URN:
urn:nbn:de:kobv:11-100190932
URL:
Volltext
(kostenfrei)
| Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |
