Show simple item record

2011-08-17Buch DOI: 10.18452/2497
Integrating Distributed Algorithms into Distributed Systems
dc.contributor.authorKindler, Ekkart
dc.contributor.authorPeuker, Sibylle
dc.date.accessioned2017-06-15T17:16:58Z
dc.date.available2017-06-15T17:16:58Z
dc.date.created2011-08-17
dc.date.issued2011-08-17
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3149
dc.description.abstractDistributed 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.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subjectPetri Netseng
dc.subjectTemporal Logiceng
dc.subjectDistributed Algorithmseng
dc.subjectCompositionalityeng
dc.subject.ddc004 Informatik
dc.titleIntegrating Distributed Algorithms into Distributed Systems
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-100190932
dc.identifier.doihttp://dx.doi.org/10.18452/2497
local.edoc.pages16
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year1998
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber1998,107

Show simple item record