2011-08-17Buch DOI: 10.18452/2497
Integrating Distributed Algorithms into Distributed Systems
 dc.contributor.author Kindler, Ekkart dc.contributor.author Peuker, Sibylle dc.date.accessioned 2017-06-15T17:16:58Z dc.date.available 2017-06-15T17:16:58Z dc.date.created 2011-08-17 dc.date.issued 2011-08-17 dc.identifier.issn 0863-095X dc.identifier.uri http://edoc.hu-berlin.de/18452/3149 dc.description.abstract 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). eng dc.language.iso eng dc.publisher Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik dc.rights.uri http://rightsstatements.org/vocab/InC/1.0/ dc.subject Petri Nets eng dc.subject Temporal Logic eng dc.subject Distributed Algorithms eng dc.subject Compositionality eng dc.subject.ddc 004 Informatik dc.title Integrating Distributed Algorithms into Distributed Systems dc.type book dc.identifier.urn urn:nbn:de:kobv:11-100190932 dc.identifier.doi http://dx.doi.org/10.18452/2497 local.edoc.pages 16 local.edoc.type-name Buch local.edoc.container-type series local.edoc.container-type-name Schriftenreihe local.edoc.container-year 1998 dc.identifier.zdb 2942054-4 bua.series.name Informatik-Berichte bua.series.issuenumber 1998,107