{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6ET2VCACDUYMQZTXNUXKAZQC6I","short_pith_number":"pith:6ET2VCAC","canonical_record":{"source":{"id":"1303.1384","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-06T16:50:06Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a189f5385537dda44eb69c02bcd7c05171fd660ae860f547ddbbb791449ca66e","abstract_canon_sha256":"62d803fa0df1f6bbdf62544a3bdf7cf1e03e033119a230bbcbf6051b48e5b307"},"schema_version":"1.0"},"canonical_sha256":"f127aa88021d30c866776d2ea06602f201559646abfde905c533ec5e0cc55abf","source":{"kind":"arxiv","id":"1303.1384","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.1384","created_at":"2026-05-18T03:31:43Z"},{"alias_kind":"arxiv_version","alias_value":"1303.1384v1","created_at":"2026-05-18T03:31:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1384","created_at":"2026-05-18T03:31:43Z"},{"alias_kind":"pith_short_12","alias_value":"6ET2VCACDUYM","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6ET2VCACDUYMQZTX","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6ET2VCAC","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6ET2VCACDUYMQZTXNUXKAZQC6I","target":"record","payload":{"canonical_record":{"source":{"id":"1303.1384","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-06T16:50:06Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a189f5385537dda44eb69c02bcd7c05171fd660ae860f547ddbbb791449ca66e","abstract_canon_sha256":"62d803fa0df1f6bbdf62544a3bdf7cf1e03e033119a230bbcbf6051b48e5b307"},"schema_version":"1.0"},"canonical_sha256":"f127aa88021d30c866776d2ea06602f201559646abfde905c533ec5e0cc55abf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:43.658869Z","signature_b64":"FUMbm5o0KBXKu3K8QvdKQ1v39JQcEHMX94Up14YNnyB2+43Sa05NN7kmzSzAg0ABuCMpvC6DYBMUWZR7i2nCAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f127aa88021d30c866776d2ea06602f201559646abfde905c533ec5e0cc55abf","last_reissued_at":"2026-05-18T03:31:43.658090Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:43.658090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.1384","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:31:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SeOYaR/iZTea0MTbL+1GhxyU3GGLJg+SGyA0mDKn1rgvDSlF1Xv7IeRNj2M1k8LNaNkLxCibIELPgKNoF4XZAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T18:38:43.604594Z"},"content_sha256":"e8bec1f1ef3954420d17da44593c48bce6f955f191b072f7a86ab3f68ebda73b","schema_version":"1.0","event_id":"sha256:e8bec1f1ef3954420d17da44593c48bce6f955f191b072f7a86ab3f68ebda73b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6ET2VCACDUYMQZTXNUXKAZQC6I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Causality in concurrent systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.DC","authors_text":"Federica Russo, Silvia Crafa","submitted_at":"2013-03-06T16:50:06Z","abstract_excerpt":"Concurrent systems identify systems, either software, hardware or even biological systems, that are characterized by sets of independent actions that can be executed in any order or simultaneously. Computer scientists resort to a causal terminology to describe and analyse the relations between the actions in these systems. However, a thorough discussion about the meaning of causality in such a context has not been developed yet. This paper aims to fill the gap. First, the paper analyses the notion of causation in concurrent systems and attempts to build bridges with the existing philosophical "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1384","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:31:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HFhM+UvmEIH2B2BkFmoX2lWZaJqbl9W8h9mFnzPxVhVgCgXTk/v5F3zJIkvATyssLCEVJkooO01ciI+orQlWAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T18:38:43.604934Z"},"content_sha256":"fccf9207b95dd94e239a662c7c45fa1c44b7f9e4adb3bf8b8f3907ee0ace9678","schema_version":"1.0","event_id":"sha256:fccf9207b95dd94e239a662c7c45fa1c44b7f9e4adb3bf8b8f3907ee0ace9678"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6ET2VCACDUYMQZTXNUXKAZQC6I/bundle.json","state_url":"https://pith.science/pith/6ET2VCACDUYMQZTXNUXKAZQC6I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6ET2VCACDUYMQZTXNUXKAZQC6I/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-27T18:38:43Z","links":{"resolver":"https://pith.science/pith/6ET2VCACDUYMQZTXNUXKAZQC6I","bundle":"https://pith.science/pith/6ET2VCACDUYMQZTXNUXKAZQC6I/bundle.json","state":"https://pith.science/pith/6ET2VCACDUYMQZTXNUXKAZQC6I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6ET2VCACDUYMQZTXNUXKAZQC6I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6ET2VCACDUYMQZTXNUXKAZQC6I","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":"62d803fa0df1f6bbdf62544a3bdf7cf1e03e033119a230bbcbf6051b48e5b307","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-06T16:50:06Z","title_canon_sha256":"a189f5385537dda44eb69c02bcd7c05171fd660ae860f547ddbbb791449ca66e"},"schema_version":"1.0","source":{"id":"1303.1384","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.1384","created_at":"2026-05-18T03:31:43Z"},{"alias_kind":"arxiv_version","alias_value":"1303.1384v1","created_at":"2026-05-18T03:31:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1384","created_at":"2026-05-18T03:31:43Z"},{"alias_kind":"pith_short_12","alias_value":"6ET2VCACDUYM","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6ET2VCACDUYMQZTX","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6ET2VCAC","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:fccf9207b95dd94e239a662c7c45fa1c44b7f9e4adb3bf8b8f3907ee0ace9678","target":"graph","created_at":"2026-05-18T03:31:43Z","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":"Concurrent systems identify systems, either software, hardware or even biological systems, that are characterized by sets of independent actions that can be executed in any order or simultaneously. Computer scientists resort to a causal terminology to describe and analyse the relations between the actions in these systems. However, a thorough discussion about the meaning of causality in such a context has not been developed yet. This paper aims to fill the gap. First, the paper analyses the notion of causation in concurrent systems and attempts to build bridges with the existing philosophical ","authors_text":"Federica Russo, Silvia Crafa","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-06T16:50:06Z","title":"Causality in concurrent systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1384","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:e8bec1f1ef3954420d17da44593c48bce6f955f191b072f7a86ab3f68ebda73b","target":"record","created_at":"2026-05-18T03:31:43Z","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":"62d803fa0df1f6bbdf62544a3bdf7cf1e03e033119a230bbcbf6051b48e5b307","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-06T16:50:06Z","title_canon_sha256":"a189f5385537dda44eb69c02bcd7c05171fd660ae860f547ddbbb791449ca66e"},"schema_version":"1.0","source":{"id":"1303.1384","kind":"arxiv","version":1}},"canonical_sha256":"f127aa88021d30c866776d2ea06602f201559646abfde905c533ec5e0cc55abf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f127aa88021d30c866776d2ea06602f201559646abfde905c533ec5e0cc55abf","first_computed_at":"2026-05-18T03:31:43.658090Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:43.658090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FUMbm5o0KBXKu3K8QvdKQ1v39JQcEHMX94Up14YNnyB2+43Sa05NN7kmzSzAg0ABuCMpvC6DYBMUWZR7i2nCAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:43.658869Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.1384","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8bec1f1ef3954420d17da44593c48bce6f955f191b072f7a86ab3f68ebda73b","sha256:fccf9207b95dd94e239a662c7c45fa1c44b7f9e4adb3bf8b8f3907ee0ace9678"],"state_sha256":"948216ab4f70e54bfe94726a9f9a849356bfd9191635c15fdd83110c511418a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cxKGr+UpsdJgma6v19xTpePB+q4unIreEgHouNZ+t9bvIExwO/o46C7BW5RWGDAz4hqePPn6XYRke/h6wv+ADQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T18:38:43.606858Z","bundle_sha256":"4763103986e2588db67700786b01ce8edcbf6b0efdf5ad143ba56fb8a79d16ed"}}