The timed asynchronous distributed system model

@article{timed-asynchronous, abstract = {We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adequately describes current distributed systems such as a network of workstations. We also give an explanation of why practically needed services, such as consensus or leader election, which are not implementable in the time-free model, are implementable in the timed asynchronous system model}, author = {Cristian, Flaviu and Fetzer, Christof }, citeulike-article-id = {143519}, doi = {10.1109/71.774912}, journal = {Parallel and Distributed Systems, IEEE Transactions on}, month = {June}, number = {6}, pages = {642--657}, posted-at = {2006-04-17 18:58:13}, priority = {1}, title = {The timed asynchronous distributed system model}, url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=774912}, volume = {10}, year = {1999} }

TY - JOUR ID - timed-asynchronous L3 - citeulike-article-id:143519 TI - The timed asynchronous distributed system model JF - Parallel and Distributed Systems, IEEE Transactions on VL - 10 IS - 6 SP - 642 EP - 657 N2 - We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adequately describes current distributed systems such as a network of workstations. We also give an explanation of why practically needed services, such as consensus or leader election, which are not implementable in the time-free model, are implementable in the timed asynchronous system model AU - Cristian, Flaviu AU - Fetzer, Christof PY - 1999/06// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=774912 ER -