Time in distributed system models and algorithms

This chapter gives an account of recent advances with regard to both the an alysis and the use of time in distributed systems models and algorithms. We discuss timed models for distributed systems, timing failures and their de tection, clock synchronisation and time services for large-scale settings, real-time causal delivery and temporal order, and protocols that in one way or the other take advantage from time.