{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:T5HKUOA2XZ2IAAQKB56MEU26RZ","short_pith_number":"pith:T5HKUOA2","canonical_record":{"source":{"id":"1403.7181","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-03-27T19:27:22Z","cross_cats_sorted":[],"title_canon_sha256":"f603f87de59df26038d6bdc859003898d848920aa1a7f19ffa491e82ea10ab79","abstract_canon_sha256":"c3c5aac613c60427bdb99cfd2b82d5c5d9aa27561cef696bbe12e00336fb2d30"},"schema_version":"1.0"},"canonical_sha256":"9f4eaa381abe7480020a0f7cc2535e8e678fcce9059fd46b5cbec260a89a063e","source":{"kind":"arxiv","id":"1403.7181","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.7181","created_at":"2026-05-18T02:48:46Z"},{"alias_kind":"arxiv_version","alias_value":"1403.7181v2","created_at":"2026-05-18T02:48:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7181","created_at":"2026-05-18T02:48:46Z"},{"alias_kind":"pith_short_12","alias_value":"T5HKUOA2XZ2I","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"T5HKUOA2XZ2IAAQK","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"T5HKUOA2","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:T5HKUOA2XZ2IAAQKB56MEU26RZ","target":"record","payload":{"canonical_record":{"source":{"id":"1403.7181","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-03-27T19:27:22Z","cross_cats_sorted":[],"title_canon_sha256":"f603f87de59df26038d6bdc859003898d848920aa1a7f19ffa491e82ea10ab79","abstract_canon_sha256":"c3c5aac613c60427bdb99cfd2b82d5c5d9aa27561cef696bbe12e00336fb2d30"},"schema_version":"1.0"},"canonical_sha256":"9f4eaa381abe7480020a0f7cc2535e8e678fcce9059fd46b5cbec260a89a063e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:46.153570Z","signature_b64":"xNZMoBzkVH+LaCqo9pZcMDD4SRY1hjejHPwjE4U8XMNzRlpYe6ab9FHcdwQBebLy+CWWSy0BNjE+syT9+H7nDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f4eaa381abe7480020a0f7cc2535e8e678fcce9059fd46b5cbec260a89a063e","last_reissued_at":"2026-05-18T02:48:46.152886Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:46.152886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.7181","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-18T02:48:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xv+b+pZBQs4HNoFSV+pbcwhmSUENoxRJIfdAZTp2rLDY+Hf3dby0eLyM+g/YDq7xpQzSPc7wAY6JKUthdqAUAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:21:22.677332Z"},"content_sha256":"fe33dfc2227eda9ceddbe53033eebc4ff97e6a801a7184348f716d9872b8488b","schema_version":"1.0","event_id":"sha256:fe33dfc2227eda9ceddbe53033eebc4ff97e6a801a7184348f716d9872b8488b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:T5HKUOA2XZ2IAAQKB56MEU26RZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reduction of Event Structures under History Preserving Bisimulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Abel Armas-Cervantes, Luciano Garcia-Ba\\~nuelos, Paolo Baldan","submitted_at":"2014-03-27T19:27:22Z","abstract_excerpt":"Event structures represent concurrent processes in terms of events and dependencies between events modelling behavioural relations like causality and conflict. Since the introduction of prime event structures, many variants of event structures have been proposed with different behavioural relations and, hence, with differences in their expressive power. One of the possible benefits of using a more expressive event structure is that of having a more compact representation for the same behaviour when considering the number of events used in a prime event structure. Therefore, this article addres"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7181","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-18T02:48:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8FJ44LVvtoHflJYxBaTB4TkFQHop0AUAeqYajFIhuwBPV8F1xHYyYXTf266FooGPjW0LrZFTGU0qEn7rGfpcDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:21:22.677677Z"},"content_sha256":"2f4aa4b68bd58a23cd531d8b359c66da1b418be65e75cb1632d2aed714bf0265","schema_version":"1.0","event_id":"sha256:2f4aa4b68bd58a23cd531d8b359c66da1b418be65e75cb1632d2aed714bf0265"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ/bundle.json","state_url":"https://pith.science/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ/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-02T00:21:22Z","links":{"resolver":"https://pith.science/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ","bundle":"https://pith.science/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ/bundle.json","state":"https://pith.science/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T5HKUOA2XZ2IAAQKB56MEU26RZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:T5HKUOA2XZ2IAAQKB56MEU26RZ","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":"c3c5aac613c60427bdb99cfd2b82d5c5d9aa27561cef696bbe12e00336fb2d30","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-03-27T19:27:22Z","title_canon_sha256":"f603f87de59df26038d6bdc859003898d848920aa1a7f19ffa491e82ea10ab79"},"schema_version":"1.0","source":{"id":"1403.7181","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.7181","created_at":"2026-05-18T02:48:46Z"},{"alias_kind":"arxiv_version","alias_value":"1403.7181v2","created_at":"2026-05-18T02:48:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7181","created_at":"2026-05-18T02:48:46Z"},{"alias_kind":"pith_short_12","alias_value":"T5HKUOA2XZ2I","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"T5HKUOA2XZ2IAAQK","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"T5HKUOA2","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:2f4aa4b68bd58a23cd531d8b359c66da1b418be65e75cb1632d2aed714bf0265","target":"graph","created_at":"2026-05-18T02:48:46Z","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":"Event structures represent concurrent processes in terms of events and dependencies between events modelling behavioural relations like causality and conflict. Since the introduction of prime event structures, many variants of event structures have been proposed with different behavioural relations and, hence, with differences in their expressive power. One of the possible benefits of using a more expressive event structure is that of having a more compact representation for the same behaviour when considering the number of events used in a prime event structure. Therefore, this article addres","authors_text":"Abel Armas-Cervantes, Luciano Garcia-Ba\\~nuelos, Paolo Baldan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-03-27T19:27:22Z","title":"Reduction of Event Structures under History Preserving Bisimulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7181","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:fe33dfc2227eda9ceddbe53033eebc4ff97e6a801a7184348f716d9872b8488b","target":"record","created_at":"2026-05-18T02:48:46Z","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":"c3c5aac613c60427bdb99cfd2b82d5c5d9aa27561cef696bbe12e00336fb2d30","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-03-27T19:27:22Z","title_canon_sha256":"f603f87de59df26038d6bdc859003898d848920aa1a7f19ffa491e82ea10ab79"},"schema_version":"1.0","source":{"id":"1403.7181","kind":"arxiv","version":2}},"canonical_sha256":"9f4eaa381abe7480020a0f7cc2535e8e678fcce9059fd46b5cbec260a89a063e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f4eaa381abe7480020a0f7cc2535e8e678fcce9059fd46b5cbec260a89a063e","first_computed_at":"2026-05-18T02:48:46.152886Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:46.152886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xNZMoBzkVH+LaCqo9pZcMDD4SRY1hjejHPwjE4U8XMNzRlpYe6ab9FHcdwQBebLy+CWWSy0BNjE+syT9+H7nDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:46.153570Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.7181","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe33dfc2227eda9ceddbe53033eebc4ff97e6a801a7184348f716d9872b8488b","sha256:2f4aa4b68bd58a23cd531d8b359c66da1b418be65e75cb1632d2aed714bf0265"],"state_sha256":"5df34ce9756831dd89591e08d92613339a2bb11a7a70901146e63c9adbaba9e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XLcgIocZ4H7JkJhJyzw8rjbf9HVgkq27x8ub3ilTrAscLBcWpkK+wVEUm+q0pdAKRmceSOzfngy8ekqF+O6GAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:21:22.679556Z","bundle_sha256":"1cc2ccdf96458bb581d39cd8e545da805b08c7d1c175933615eb5d89b755273f"}}