Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Early-delivery atomic broadcast
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
The causal ordering abstraction and a simple way to implement it
Information Processing Letters
Understanding the limitations of causally and totally ordered communication
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Ordering and timeliness requirements of dependable real-time programs
Real-Time Systems - Special issue: dependability of real-time software
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Causal delivery of messages with real-time data in unreliable networks
Real-Time Systems
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Causal delivery protocols in real-time systems: a generic model
Real-Time Systems
On the impossibility of group membership
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
CesiumSpray: a Precise and Accurate Global Time Servicefor Large-scale Systems
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Distributed systems (2nd Ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Enhancing Dependability of Cooperative Applications in Partitionable Environments
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
The Timed Asynchronous Distributed System Model
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Hi-index | 0.00 |
This chapter gives an account of recent advances with regard to both the analysis and the use of time in distributed systems models and algorithms. We discuss timed models for distributed systems, timing failures and their detection, 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.