A Proof of Correctness for the Tardis Cache Coherence Protocol · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1505.06459/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTA Proof of Correctness for the Tardis Cache Coherence Protocol — mentioned by sanxiynhttps://news.ycombinator.com/item?id=10197674urn:hackerpapers:mention:1505.06459:10197674Thu, 10 Sep 2015 12:44:27 GMT<p>A proof of the protocol is in the separate paper, which is at http://arxiv.org/abs/1505.06459</p><p><a href="https://hackerpaper.kaipfister.de/p/1505.06459/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DC