Our newest paper, “Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types”, is now available under CC-BY: dl.acm.org/doi/10.1145/3578358… We formalize @matrix and other autonomous #decentralized systems based on hash chronicles to verify monotonicity and Byzantine fault tolerance. #CRDT