The timed asynchronous distributed system model

We propose a formal definition for the timed asynchronous distributed system model and 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.

# Distributed systems and fault tolerance # Computer Science # Network Time Synchronization Technologies # Formal Methods in Verification

Flaviu Cristian, Christof W. Fetzer (2002). "The timed asynchronous distributed system model". IEEE International Symposium on Fault-Tolerant Computing. https://doi.org/10.1109/ftcs.1998.689463