The Timed Asynchronous Distributed System Model Flaviu Cristian and Christof Fetzer Appeared in: IEEE Transactions on Parallel and Distributed Systems Date: June 1999 Download: BIBTEX (TPDS1999) Pages: 642-657 We propose a formal definition for the timed asynchronous system model, we describe extensive measurements of actual message and process scheduling delays and hardware clock drifts that confirm that this model adequately describes current distributed systems built from networked workstations, and we give an explanation of why practically needed services, such as consensus or leader election, which are not implementable in the time-free asynchronous system model, are implementable in the timed model.