O'Reilly logo

Distributed Algorithms by Nancy A. Lynch

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 8 Modelling II: Asynchronous System Model

The purpose of this chapter is to introduce a formal model for asynchronous computing, the input/output (I/O) automaton model. This is a very general model, suitable for describing almost any type of asynchronous concurrent system, including the two types we will study in this book: asynchronous shared memory systems and asynchronous network systems. By itself, the I/O automaton model has very little structure, which allows it to be used for modelling many different types of distributed systems. Additional structure must be added to the basic model to enable it to describe particular types of asynchronous systems. What the model does provide is a precise way of describing and reasoning about ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required