Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
Zenodo
Claim

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

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo
Authors: Zhiheng, Cai; Zhihang, Sun; Fei, He;

doi: 10.5281/zenodo.19656780

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

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.

Powered by OpenAIRE graph
Found an issue? Give us feedback