{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:RBGSCWL6L3ZMZ5JZVGH4KWEMJO","short_pith_number":"pith:RBGSCWL6","canonical_record":{"source":{"id":"cs/0501040","kind":"arxiv","version":4},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2005-01-19T17:55:45Z","cross_cats_sorted":[],"title_canon_sha256":"e0ad37468114671c34585d6cbd40d807ab8cf589693fdd7626e81baa0872f3c7","abstract_canon_sha256":"be2d9c75455aa8cd50db4801bfaf9bbe92dc574c1df64e5f9194e94aa541dafe"},"schema_version":"1.0"},"canonical_sha256":"884d21597e5ef2ccf539a98fc5588c4b848808569dcd9e337e95079e82b14b60","source":{"kind":"arxiv","id":"cs/0501040","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0501040","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0501040v4","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0501040","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"RBGSCWL6L3ZM","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"RBGSCWL6L3ZMZ5JZ","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"RBGSCWL6","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:RBGSCWL6L3ZMZ5JZVGH4KWEMJO","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0501040","kind":"arxiv","version":4},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2005-01-19T17:55:45Z","cross_cats_sorted":[],"title_canon_sha256":"e0ad37468114671c34585d6cbd40d807ab8cf589693fdd7626e81baa0872f3c7","abstract_canon_sha256":"be2d9c75455aa8cd50db4801bfaf9bbe92dc574c1df64e5f9194e94aa541dafe"},"schema_version":"1.0"},"canonical_sha256":"884d21597e5ef2ccf539a98fc5588c4b848808569dcd9e337e95079e82b14b60","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:03.544497Z","signature_b64":"cAn1AR3kUXWkizc8YutfISRus39oZGbQIIaPe4vFWlZcb34bFXU0b/2Ot3SiJ1BJ3VSfnaASYIdUbJSdn19TBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"884d21597e5ef2ccf539a98fc5588c4b848808569dcd9e337e95079e82b14b60","last_reissued_at":"2026-05-18T00:53:03.544041Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:03.544041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0501040","source_version":4,"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-18T00:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QznzRNwiwt/XQ4V6g0klfRmzN4zHVYdXSt+o0reifJCRXg3DelM6qPIlWtyp8un8HHb3NVAThqesgAGk+Y62Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:30:40.272557Z"},"content_sha256":"214ab0b07817a56f5d4a56d4826fde7490e7a29629b2dae164022dcf264cb02a","schema_version":"1.0","event_id":"sha256:214ab0b07817a56f5d4a56d4826fde7490e7a29629b2dae164022dcf264cb02a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:RBGSCWL6L3ZMZ5JZVGH4KWEMJO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy&#39;s Merge","license":"","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anna Ingolfsdottir, Bas Luttik, Luca Aceto, Wan Fokkink","submitted_at":"2005-01-19T17:55:45Z","abstract_excerpt":"This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion, relabelling and restriction free fragment of Milner's Calculus of Communicating Systems. Thus the addition of a single binary operation, viz. Hennessy's merge, is sufficient for the finite equational axiomatization of parallel composition modulo this non-interleaving equivalence. This result is in sharp contrast to a theorem previously obtained by the s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0501040","kind":"arxiv","version":4},"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-18T00:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nsfRpli8shU33Iu+eWkD0fwh2bBAa8DAfnm/F/MjtgNEn7IP4xL0T80tsqCbSB4pBSti5LiMDEcJanPCdS5dDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:30:40.273193Z"},"content_sha256":"f5fa9058af112bdb55e06c3879ba5e9f4b926eea141aed71ed9cce1f33b0dd00","schema_version":"1.0","event_id":"sha256:f5fa9058af112bdb55e06c3879ba5e9f4b926eea141aed71ed9cce1f33b0dd00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO/bundle.json","state_url":"https://pith.science/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO/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-05-29T17:30:40Z","links":{"resolver":"https://pith.science/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO","bundle":"https://pith.science/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO/bundle.json","state":"https://pith.science/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RBGSCWL6L3ZMZ5JZVGH4KWEMJO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:RBGSCWL6L3ZMZ5JZVGH4KWEMJO","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":"be2d9c75455aa8cd50db4801bfaf9bbe92dc574c1df64e5f9194e94aa541dafe","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2005-01-19T17:55:45Z","title_canon_sha256":"e0ad37468114671c34585d6cbd40d807ab8cf589693fdd7626e81baa0872f3c7"},"schema_version":"1.0","source":{"id":"cs/0501040","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0501040","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0501040v4","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0501040","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"RBGSCWL6L3ZM","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"RBGSCWL6L3ZMZ5JZ","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"RBGSCWL6","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:f5fa9058af112bdb55e06c3879ba5e9f4b926eea141aed71ed9cce1f33b0dd00","target":"graph","created_at":"2026-05-18T00:53:03Z","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":"This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion, relabelling and restriction free fragment of Milner's Calculus of Communicating Systems. Thus the addition of a single binary operation, viz. Hennessy's merge, is sufficient for the finite equational axiomatization of parallel composition modulo this non-interleaving equivalence. This result is in sharp contrast to a theorem previously obtained by the s","authors_text":"Anna Ingolfsdottir, Bas Luttik, Luca Aceto, Wan Fokkink","cross_cats":[],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2005-01-19T17:55:45Z","title":"Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy&#39;s Merge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0501040","kind":"arxiv","version":4},"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:214ab0b07817a56f5d4a56d4826fde7490e7a29629b2dae164022dcf264cb02a","target":"record","created_at":"2026-05-18T00:53:03Z","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":"be2d9c75455aa8cd50db4801bfaf9bbe92dc574c1df64e5f9194e94aa541dafe","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2005-01-19T17:55:45Z","title_canon_sha256":"e0ad37468114671c34585d6cbd40d807ab8cf589693fdd7626e81baa0872f3c7"},"schema_version":"1.0","source":{"id":"cs/0501040","kind":"arxiv","version":4}},"canonical_sha256":"884d21597e5ef2ccf539a98fc5588c4b848808569dcd9e337e95079e82b14b60","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"884d21597e5ef2ccf539a98fc5588c4b848808569dcd9e337e95079e82b14b60","first_computed_at":"2026-05-18T00:53:03.544041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:03.544041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cAn1AR3kUXWkizc8YutfISRus39oZGbQIIaPe4vFWlZcb34bFXU0b/2Ot3SiJ1BJ3VSfnaASYIdUbJSdn19TBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:03.544497Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0501040","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:214ab0b07817a56f5d4a56d4826fde7490e7a29629b2dae164022dcf264cb02a","sha256:f5fa9058af112bdb55e06c3879ba5e9f4b926eea141aed71ed9cce1f33b0dd00"],"state_sha256":"a1dfcf065060c83eda30c7d44d36e9e9101d3157ca8f091b2da534458e35da2f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T4Te0x3xb9N8x95ZQXSUkIXU8RWIUWeapFKz5Fh7k7tSpGUe4lBlnbPt/dt8BjDe9+YH72G4dFc6e70ZrTeXBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T17:30:40.275910Z","bundle_sha256":"089a7fecedc9bea7f9a4d8398a4bb6846dba28bb2d3dbc047fa3e6e9f18056a2"}}