{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:DXQMCOVXOOJVXJSM3BVRSFYEC5","short_pith_number":"pith:DXQMCOVX","canonical_record":{"source":{"id":"1204.0414","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-04-02T14:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"2f0c99406c92ddb8c208b3f17358f61529488a6874867e81e83179b4ed8588a9","abstract_canon_sha256":"3fbf9b9b4f374996e01fcaa254d82c7ab4131972d3204b161922d741f6bae59e"},"schema_version":"1.0"},"canonical_sha256":"1de0c13ab773935ba64cd86b191704177f0bcee484ed5076087779282073877d","source":{"kind":"arxiv","id":"1204.0414","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.0414","created_at":"2026-05-18T03:58:49Z"},{"alias_kind":"arxiv_version","alias_value":"1204.0414v1","created_at":"2026-05-18T03:58:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.0414","created_at":"2026-05-18T03:58:49Z"},{"alias_kind":"pith_short_12","alias_value":"DXQMCOVXOOJV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DXQMCOVXOOJVXJSM","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DXQMCOVX","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:DXQMCOVXOOJVXJSM3BVRSFYEC5","target":"record","payload":{"canonical_record":{"source":{"id":"1204.0414","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-04-02T14:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"2f0c99406c92ddb8c208b3f17358f61529488a6874867e81e83179b4ed8588a9","abstract_canon_sha256":"3fbf9b9b4f374996e01fcaa254d82c7ab4131972d3204b161922d741f6bae59e"},"schema_version":"1.0"},"canonical_sha256":"1de0c13ab773935ba64cd86b191704177f0bcee484ed5076087779282073877d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:58:49.379346Z","signature_b64":"iRG/j4HU5JYaZbdphPe3z/RNZzEiL0gpzU20j6T+FkGo/VIIZye+LXF+wKMtkuuXa82HpGgLdr+6x2ob1FTOAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1de0c13ab773935ba64cd86b191704177f0bcee484ed5076087779282073877d","last_reissued_at":"2026-05-18T03:58:49.378823Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:58:49.378823Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.0414","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:58:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p1NgO1IDkyMO0/LdG1Rw/yLbT2f2lNqsl7zhX19v+SSuyGWgVWCCx8e5s6X8wHNlgs7tzH+u9t0gt/0cNTKHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:51:56.809434Z"},"content_sha256":"812e8121bd5049be48a135055f2e31521ce3353f5daef0494e97d43ae0f9d59b","schema_version":"1.0","event_id":"sha256:812e8121bd5049be48a135055f2e31521ce3353f5daef0494e97d43ae0f9d59b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:DXQMCOVXOOJVXJSM3BVRSFYEC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Trace Spaces: an Efficient New Technique for State-Space Reduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Emmanuel Haucourt (CEA LIST), Eric Goubault (CEA LIST), Lisbeth Fajstrup, Martin Raussen, Samuel Mimram (CEA LIST)","submitted_at":"2012-04-02T14:24:18Z","abstract_excerpt":"State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put in parallel, without changing the semantics. It is thus not necessary to consider all execution paths in the interleaving semantics of a concurrent program, but rather some equivalence classes. The purpose of this paper is to describe a new algorithm to compute such equivalence classes, and a representative per class, which is based on ideas originating in algebraic topology. We introduce a geometric semantics of co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.0414","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:58:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7VmqXuiAuMg+y6AzlUh0SDSd1RnRQQ0dcsbxBBQk4VdMtrbyPxKjvnEZfcKAOG48XrObtKcMHNl0m1e2SoycCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:51:56.809789Z"},"content_sha256":"2ae164233d60c4ea7ee4dac9fc226bcea48d9c716d467775cda3015f0d652768","schema_version":"1.0","event_id":"sha256:2ae164233d60c4ea7ee4dac9fc226bcea48d9c716d467775cda3015f0d652768"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5/bundle.json","state_url":"https://pith.science/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T12:51:56Z","links":{"resolver":"https://pith.science/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5","bundle":"https://pith.science/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5/bundle.json","state":"https://pith.science/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DXQMCOVXOOJVXJSM3BVRSFYEC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:DXQMCOVXOOJVXJSM3BVRSFYEC5","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":"3fbf9b9b4f374996e01fcaa254d82c7ab4131972d3204b161922d741f6bae59e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-04-02T14:24:18Z","title_canon_sha256":"2f0c99406c92ddb8c208b3f17358f61529488a6874867e81e83179b4ed8588a9"},"schema_version":"1.0","source":{"id":"1204.0414","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.0414","created_at":"2026-05-18T03:58:49Z"},{"alias_kind":"arxiv_version","alias_value":"1204.0414v1","created_at":"2026-05-18T03:58:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.0414","created_at":"2026-05-18T03:58:49Z"},{"alias_kind":"pith_short_12","alias_value":"DXQMCOVXOOJV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DXQMCOVXOOJVXJSM","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DXQMCOVX","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:2ae164233d60c4ea7ee4dac9fc226bcea48d9c716d467775cda3015f0d652768","target":"graph","created_at":"2026-05-18T03:58:49Z","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":"State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put in parallel, without changing the semantics. It is thus not necessary to consider all execution paths in the interleaving semantics of a concurrent program, but rather some equivalence classes. The purpose of this paper is to describe a new algorithm to compute such equivalence classes, and a representative per class, which is based on ideas originating in algebraic topology. We introduce a geometric semantics of co","authors_text":"Emmanuel Haucourt (CEA LIST), Eric Goubault (CEA LIST), Lisbeth Fajstrup, Martin Raussen, Samuel Mimram (CEA LIST)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-04-02T14:24:18Z","title":"Trace Spaces: an Efficient New Technique for State-Space Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.0414","kind":"arxiv","version":1},"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:812e8121bd5049be48a135055f2e31521ce3353f5daef0494e97d43ae0f9d59b","target":"record","created_at":"2026-05-18T03:58:49Z","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":"3fbf9b9b4f374996e01fcaa254d82c7ab4131972d3204b161922d741f6bae59e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-04-02T14:24:18Z","title_canon_sha256":"2f0c99406c92ddb8c208b3f17358f61529488a6874867e81e83179b4ed8588a9"},"schema_version":"1.0","source":{"id":"1204.0414","kind":"arxiv","version":1}},"canonical_sha256":"1de0c13ab773935ba64cd86b191704177f0bcee484ed5076087779282073877d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1de0c13ab773935ba64cd86b191704177f0bcee484ed5076087779282073877d","first_computed_at":"2026-05-18T03:58:49.378823Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:58:49.378823Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iRG/j4HU5JYaZbdphPe3z/RNZzEiL0gpzU20j6T+FkGo/VIIZye+LXF+wKMtkuuXa82HpGgLdr+6x2ob1FTOAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:58:49.379346Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.0414","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:812e8121bd5049be48a135055f2e31521ce3353f5daef0494e97d43ae0f9d59b","sha256:2ae164233d60c4ea7ee4dac9fc226bcea48d9c716d467775cda3015f0d652768"],"state_sha256":"f1a9932a992ac0cf96efb72c7b900e22f9dc03d5c61c3d4969379ab29b081ace"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"12/Pr2gfDWGQD5JvceQVYHPCza72chr3eLI+hO4YpeM0LCjhyvYb9bKp9S5tR3QlWOfOxTutrvi7nIjSrM2xAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:51:56.811760Z","bundle_sha256":"72d0a107b9dcaa32cdbc19373a00acd729631d159ad714fc6681934f9ebe03eb"}}