AWhat changed
Mattern formulated vector-valued logical time that captures potential causal order and concurrency, connected possible time vectors with the lattice of consistent cuts, and described distributed debugging applications.
Scientific scope
Mattern formulated vector-valued logical time that captures potential causal order and concurrency, connected possible time vectors with the lattice of consistent cuts, and described distributed debugging applications. The timestamp construction uses a specified distributed-process and message model. Vector comparisons represent causal partial order under correct updates; concurrent events need not receive a unique total order. Metadata grows with the process model, and clocks do not establish wall-clock time, truth or Sybil-resistant identity. Later dynamic/compact versions are separate.
Evidence
Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.
Contributors
- Friedemann Mattern · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
- Mattern, Virtual Time and Global States of Distributed Systems — edited author-posted version
- Mattern author institutional bibliography: original 1989 proceedings and 1994 reprint
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction