Distributed systems : an algorithmic approach /
Achieving a balance between theory and practice, this text presents the foundational topics of distributed systems and their relationships to real-world applications. With a set of exercises featured in each chapter, the book covers system models, correctness criteria, and proof techniques. It also...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boca Raton :
Chapman & Hall/CRC,
[2007]
|
| Series: | Chapman & Hall/CRC computer and information science series.
|
| Subjects: | |
| Online Access: | Table of contents only Publisher description |
| Summary: | Achieving a balance between theory and practice, this text presents the foundational topics of distributed systems and their relationships to real-world applications. With a set of exercises featured in each chapter, the book covers system models, correctness criteria, and proof techniques. It also presents numerous important paradigms in distributed systems, including logical clocks, distributed snapshots, deadlock detection, termination detection, election, and graph algorithms. The author addresses failures and fault-tolerance techniques in diverse applications, such as consensus, transactions, group communication, replicated data management, and self-stabilization. He also explores real-world issues, including distributed discrete-event simulation and security, and sensor and peer-to-peer networks. |
|---|---|
| Physical Description: | 402 pages : illustrations ; 27 cm. |
| Bibliography: | Includes bibliographical references (pages 383-391) and index. |
| ISBN: | 1584885645 9781584885641 |