Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Wireless Networks - Special issue: mobile computing and networking: selected papers from MobiCom '96
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Detection of Mutual Inconsistency in Distributed Systems
IEEE Transactions on Software Engineering
The Hash History Approach for Reconciling Mutual Inconsistency
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Models and software model checking of a distributed file replication system
Formal methods and hybrid real-time systems
Hi-index | 0.00 |
Vector clocks, or their compressed representations, have played a central role in the detection of causal dependencies between events in a distributed system. When adapting these techniques to a mobile network, bounding the vector clock size to the number of mobile nodes does not provide a satisfactory approach. This paper builds on previous techniques for efficient causality logging in mobile networks and presents a lighter logging mechanism. The technique is based on a particular partial order that is generated by the interleaving of events on mobile hosts that are mediated by the same support station.