Distributed Computing by Hagit Attiya, Jennifer Welch Fundamentals, Simulations A.. details from bookadda

About the Book: Distributed Computing: Fundamentals, Simulations And Advanced Topics, 2nd Ed

This book offers comprehensive introduction to the fundamental results in the mathematical foundations of distributed computing. It is accompanied by supporting material, such as lecture notes and solutions for selected exercises. Each chapter ends with bibliographical notes and a set of exercises. It also Covers the fundamental models, issues and techniques, and features some of the more advanced topics.

About The Author:

Hagit Attiya received her PhD in Computer Science from Hebrew University, Jerusalem, Israel. Since 1990, she has taught in the Department of Computer Science at the Technion, Haifa-Israels leading technological university. She has published widely in leading journals and has served on the program committees for many international conferences, including chairing the program committee for the 1997 ACM Symposium on Principles of Distributed Computing.
Jennifer Welch received her PhD in Computer Science from MIT in 1988. She is currently a professor in the Department of Computer Science at Texas AandM University. She has published numerous technical papers on the theory of distributed computing and has served on the program committees for several international conferences on the subject, including chairing the program committees for the 1999 ACM Symposium on Principles of Distributed Computing and the 2001 International Symposium on Distributed Computing. She has also received several teaching awards.

Contents

Part I: Fundamentals
·Basic Algorithms in Message-Passing Systems
·Leader Election in Rings
·Mutual Exclusion in Shared Memory
·Fault-Tolerant Consensus
·Causality and Time
Part II: Simulations
·A Formal Model for Simulations
·Broadcast and Multicast
·Distributed Shared Memory
·Fault-Tolerant Simulations of Read/Write Objects
·Simulating Synchrony
·Improving the Fault Tolerance of Algorithms
·Fault-Tolerant Clock Synchronization
Part III: Advanced Topics
·Randomization
·Wait-Free Simulations of Arbitrary Objects
·Problems Solvable in Asynchronous Systems
·Solving Consensus in Eventually Stable Systems
References
Index