Elements of Distributed Algorithms, Fachbücher von Wolfgang Reisig

"Elements of Distributed Algorithms" ist ein Fachbuch, das sich mit den Grundlagen und Anwendungen verteilter Algorithmen in der Informatik beschäftigt. In einer Zeit, in der verteiltes Rechnen zunehmend an Bedeutung gewinnt, bietet dieses Buch eine umfassende Einführung in die Thematik. Es behandelt eine Vielzahl von Algorithmen, die unabhängig von spezifischen Programmiersprachen oder Hardwarearchitekturen präsentiert werden. Die Verwendung von Petri-Netzen als grafisches Hilfsmittel ermöglicht es, komplexe Konzepte intuitiv zu erfassen und gleichzeitig formale Rigorosität zu gewährleisten. Der Autor nutzt temporale Logik, um einfache, aber effektive Korrektheitsbeweise für die Algorithmen zu liefern. Das Buch deckt ein breites Spektrum ab, von der verteilten Steuerung und Synchronisation bis hin zu Algorithmen für verschiedene Netzwerktypen. Zahlreiche Beispiele veranschaulichen die intuitive und technisch transparente Beschreibung sowie Analyse verteilter Algorithmen.