{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:EX6RINMKLC6A5CAVJVKYUEXSOT","short_pith_number":"pith:EX6RINMK","canonical_record":{"source":{"id":"1004.2818","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-04-16T11:35:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9597fa67a7b726b25b6527da8ee3a962b57278e8ebbc4242460409eb7f04e586","abstract_canon_sha256":"19fc834bd4c887408edb4367e3e064296a2a6f3af1120f3b33cb8c893b17cef4"},"schema_version":"1.0"},"canonical_sha256":"25fd14358a58bc0e88154d558a12f274efb225457dd1fdf63bf3e611ff5098fa","source":{"kind":"arxiv","id":"1004.2818","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.2818","created_at":"2026-05-18T03:53:54Z"},{"alias_kind":"arxiv_version","alias_value":"1004.2818v2","created_at":"2026-05-18T03:53:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2818","created_at":"2026-05-18T03:53:54Z"},{"alias_kind":"pith_short_12","alias_value":"EX6RINMKLC6A","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"EX6RINMKLC6A5CAV","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"EX6RINMK","created_at":"2026-05-18T12:26:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:EX6RINMKLC6A5CAVJVKYUEXSOT","target":"record","payload":{"canonical_record":{"source":{"id":"1004.2818","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-04-16T11:35:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9597fa67a7b726b25b6527da8ee3a962b57278e8ebbc4242460409eb7f04e586","abstract_canon_sha256":"19fc834bd4c887408edb4367e3e064296a2a6f3af1120f3b33cb8c893b17cef4"},"schema_version":"1.0"},"canonical_sha256":"25fd14358a58bc0e88154d558a12f274efb225457dd1fdf63bf3e611ff5098fa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:53:54.984406Z","signature_b64":"OcxvVdNeyGo2uN+mAMn5aylNY2RTyC7Tun5B1OXEMIjcCbvZr5cA0vENdZfMjrLFI5YeGPvCBx7+vx1ZJdWDBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25fd14358a58bc0e88154d558a12f274efb225457dd1fdf63bf3e611ff5098fa","last_reissued_at":"2026-05-18T03:53:54.983949Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:53:54.983949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1004.2818","source_version":2,"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:53:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pr3oOtDFouHQqymiomsIT4F9YtHW87urhBwBKi4tCR9kFcZp2oYkkmQQwFfaZatAzSn/dGrKhr+lfBwd5HMiCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T18:23:45.387777Z"},"content_sha256":"88921bbfd3e4435d87884038132fc9a3d4be065e996e658c751d3df5a7689466","schema_version":"1.0","event_id":"sha256:88921bbfd3e4435d87884038132fc9a3d4be065e996e658c751d3df5a7689466"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:EX6RINMKLC6A5CAVJVKYUEXSOT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Relationships Between Geometrical and Classical Models for Concurrency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Eric Goubault (CEA LIST), Samuel Mimram (CEA LIST)","submitted_at":"2010-04-16T11:35:42Z","abstract_excerpt":"A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses, etc. More recently, models with a geometrical flavor have been introduced, based on the notion of cubical set. These models are very rich and expressive since they can represent commutation between any bunch of events, thus generalizing the principle of true concurrency. While they seem to be very promising - because they make possible the use of techniques"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.2818","kind":"arxiv","version":2},"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:53:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gqciFtSH8fwoqBMYVPj2t0TQuzZGqodDHIk5Ez0h1hpO4QEMsXAbptP2LnScS9NqEAe3IYH2TI39YiNg6VpuBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T18:23:45.388126Z"},"content_sha256":"4cee05fd5f55b4f3cfa05294c9c19514117e2ba4673fcb9fb5666d258e58ed6e","schema_version":"1.0","event_id":"sha256:4cee05fd5f55b4f3cfa05294c9c19514117e2ba4673fcb9fb5666d258e58ed6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EX6RINMKLC6A5CAVJVKYUEXSOT/bundle.json","state_url":"https://pith.science/pith/EX6RINMKLC6A5CAVJVKYUEXSOT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EX6RINMKLC6A5CAVJVKYUEXSOT/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-04T18:23:45Z","links":{"resolver":"https://pith.science/pith/EX6RINMKLC6A5CAVJVKYUEXSOT","bundle":"https://pith.science/pith/EX6RINMKLC6A5CAVJVKYUEXSOT/bundle.json","state":"https://pith.science/pith/EX6RINMKLC6A5CAVJVKYUEXSOT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EX6RINMKLC6A5CAVJVKYUEXSOT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:EX6RINMKLC6A5CAVJVKYUEXSOT","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":"19fc834bd4c887408edb4367e3e064296a2a6f3af1120f3b33cb8c893b17cef4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-04-16T11:35:42Z","title_canon_sha256":"9597fa67a7b726b25b6527da8ee3a962b57278e8ebbc4242460409eb7f04e586"},"schema_version":"1.0","source":{"id":"1004.2818","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.2818","created_at":"2026-05-18T03:53:54Z"},{"alias_kind":"arxiv_version","alias_value":"1004.2818v2","created_at":"2026-05-18T03:53:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2818","created_at":"2026-05-18T03:53:54Z"},{"alias_kind":"pith_short_12","alias_value":"EX6RINMKLC6A","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"EX6RINMKLC6A5CAV","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"EX6RINMK","created_at":"2026-05-18T12:26:06Z"}],"graph_snapshots":[{"event_id":"sha256:4cee05fd5f55b4f3cfa05294c9c19514117e2ba4673fcb9fb5666d258e58ed6e","target":"graph","created_at":"2026-05-18T03:53:54Z","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":"A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses, etc. More recently, models with a geometrical flavor have been introduced, based on the notion of cubical set. These models are very rich and expressive since they can represent commutation between any bunch of events, thus generalizing the principle of true concurrency. While they seem to be very promising - because they make possible the use of techniques","authors_text":"Eric Goubault (CEA LIST), Samuel Mimram (CEA LIST)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-04-16T11:35:42Z","title":"Formal Relationships Between Geometrical and Classical Models for Concurrency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.2818","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:88921bbfd3e4435d87884038132fc9a3d4be065e996e658c751d3df5a7689466","target":"record","created_at":"2026-05-18T03:53:54Z","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":"19fc834bd4c887408edb4367e3e064296a2a6f3af1120f3b33cb8c893b17cef4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-04-16T11:35:42Z","title_canon_sha256":"9597fa67a7b726b25b6527da8ee3a962b57278e8ebbc4242460409eb7f04e586"},"schema_version":"1.0","source":{"id":"1004.2818","kind":"arxiv","version":2}},"canonical_sha256":"25fd14358a58bc0e88154d558a12f274efb225457dd1fdf63bf3e611ff5098fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"25fd14358a58bc0e88154d558a12f274efb225457dd1fdf63bf3e611ff5098fa","first_computed_at":"2026-05-18T03:53:54.983949Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:53:54.983949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OcxvVdNeyGo2uN+mAMn5aylNY2RTyC7Tun5B1OXEMIjcCbvZr5cA0vENdZfMjrLFI5YeGPvCBx7+vx1ZJdWDBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:53:54.984406Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.2818","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88921bbfd3e4435d87884038132fc9a3d4be065e996e658c751d3df5a7689466","sha256:4cee05fd5f55b4f3cfa05294c9c19514117e2ba4673fcb9fb5666d258e58ed6e"],"state_sha256":"785f38636f0d9df277a17eac10d276ee2ffdbbcbce78cbc361f4e99a301717f7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B5ZdxOOrYuZ/3CPgDrc/qwkoY7KjswN5kup86s1tJ3+q1x6YK9YQKNWn9Jeho5weKAlyrUxFS1kirjKV9yuqCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T18:23:45.390144Z","bundle_sha256":"8a757054a6dabcb22e08ef4f45e4ea47fb6277e56efae022aabb32e70e7a3f79"}}