{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:KKSLSGRSM7OEBW44QSBSZDMBME","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a323e5d46bdd55ac18abdac3c0484a08ab4853a910dba89a5f347c14b2c5805e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-02T13:01:50Z","title_canon_sha256":"cccd046c1bcd78394639ac4a34d6582b90d5b31cd9c5153748daaa4d4a308c0f"},"schema_version":"1.0","source":{"id":"1611.00580","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.00580","created_at":"2026-05-18T00:58:50Z"},{"alias_kind":"arxiv_version","alias_value":"1611.00580v2","created_at":"2026-05-18T00:58:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.00580","created_at":"2026-05-18T00:58:50Z"},{"alias_kind":"pith_short_12","alias_value":"KKSLSGRSM7OE","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KKSLSGRSM7OEBW44","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KKSLSGRS","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:a40b7390e88a504a29c69fb533dce61e3240977b06b41a55fc69653a569cb9c8","target":"graph","created_at":"2026-05-18T00:58:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automatically whether the executions of an implementation of a data structure are causally consistent. We consider two problems: (1) checking whether one single execution is causally consistent, which is relevant for developing testing and bug finding algorithms, and (2) verifying whether all the executions of an implementation are causally consistent.\n ","authors_text":"Ahmed Bouajjani, Constantin Enea, Jad Hamza, Rachid Guerraoui","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-02T13:01:50Z","title":"On Verifying Causal Consistency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.00580","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7c70eb79378564e9e401be161ccba96eb73a5644db47c12693bfa6bae3c644e3","target":"record","created_at":"2026-05-18T00:58:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a323e5d46bdd55ac18abdac3c0484a08ab4853a910dba89a5f347c14b2c5805e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-02T13:01:50Z","title_canon_sha256":"cccd046c1bcd78394639ac4a34d6582b90d5b31cd9c5153748daaa4d4a308c0f"},"schema_version":"1.0","source":{"id":"1611.00580","kind":"arxiv","version":2}},"canonical_sha256":"52a4b91a3267dc40db9c84832c8d81611ac5e55ab0b490868c1120092dd1550c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"52a4b91a3267dc40db9c84832c8d81611ac5e55ab0b490868c1120092dd1550c","first_computed_at":"2026-05-18T00:58:50.636278Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:50.636278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M/vgiVVY9AYGARvIRwjnDAd4fv+9NNdUCdUxVI9zw/vGt24MC+DRkrWmSp/Tke+Dmn/KkHfzm+uyJlM9/iLMAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:50.636959Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.00580","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c70eb79378564e9e401be161ccba96eb73a5644db47c12693bfa6bae3c644e3","sha256:a40b7390e88a504a29c69fb533dce61e3240977b06b41a55fc69653a569cb9c8"],"state_sha256":"181abfa9de9c49c6998a36aecb3b0699174d5411067b8fc8c444b5d058cb753e"}