Table of Contents

Introduction.- The Nature, Characteristics, and Implications of ADDM Algorithms.- Case Studies: Synthesis of ADDM Algorithms for Real-World Systems.- Debugging Network-Centric Systems.- Proofs of Correctness of ADDM Algorithms.- A Mathematical Framework for Synthesizing ADDM Algorithms.- Performance Analysis of ADDM Algorithms.- Stability of ADDM Algorithms.- The Need and Art of Interdisciplinary Thinking.- The Future of ADDM Algorithms. References. - Index