Timestamping algorithms are used to capture the causal order or the concurrency of events in asynchronous distributed computations. This paper introduces a formal framework on timestamping algorithms, by characterizing some conditions they have to satisfy in order to capture causality. Under the proposed formal framework we derive a few properties about the size of timestamps and local informations at processes obtained by counting the number of distinct causal pasts which could be observed by an omniscient observer during the evolution of a distributed computation.
CITATION STYLE
Melideo, G., Mechelli, M., Baldoni, R., & Spaccamela, A. M. (2000). Timestamping algorithms: A characterization and a few properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1900, pp. 609–616). Springer Verlag. https://doi.org/10.1007/3-540-44520-x_85
Mendeley helps you to discover research relevant for your work.