Artifact for "A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Cai Zhiheng, Sun Zhihang, He Fei
DOI: 10.5281/zenodo.18616443
Cited by: 1

Abstract

This is the artifact accompanying the paper "A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning", which will appear on FM2026. The artifact includes third-party components with different licenses.See the LICENSE file and README for full details.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 February 2026