Published February 12, 2026
| Version v1
Software
Open
Artifact for "A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning"
Authors/Creators
Description
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.
Files
paper168-artifact.zip
Files
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f21e9a4fed010781a240da865e488d77
|
2.6 GB | Preview Download |