Model of asynchronous algorithms.