Practical Sequential Consistency Checking
Published in Zenodo (CERN European Organization for Nuclear Research) • Mar 13, 2026
Authors:
Pavlos Georgiou
Abstract
This artefact includes an implementation of the Sequential Consistency checking algorithms covered in the paper, an archive of operation histories obtained from a Couchbase cluster, and a Docker setup to replicate this. Abstract. Sequential Consistency (SC) is a fundamental correctness model for con...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!