by Nancy A. Lynch
- Preface
- 1 Introduction
- 1.1 The Subject Matter
- 1.2 Our Viewpoint
- 1.3 Overview of Chapter 2-25
- 1.4 Bibliographic Notes
- 1.5 Notation
Part I Synchronous Network Algorithms
- 2 Modelling I; Synchronous Network Model
- 2.1 Synchronous Network Systems
- 2.2 Failures
- 2.3 Inputs and Outputs
- 2.4 Executions
- 2.5 Proof Methods
- 2.6 Complexity Measures
- 2.7 Randomization
- 2.8 Bibliographic Notes
- 3 Leader Election in a Synchronous Ring
Part III Partially Synchronous Algorithms
- 23 Partially Synchronous System Models
- 23.1 MMT Times Automata
- 23.1.1 Basic Definitions
- 23.1.2 Operations
- 23.1 MMT Times Automata
- 25.9 Exercises
- Bibliography
- Index