{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:A2IKDTRVNSRRAHI726INWR6VAX","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":"e54a8eac4c0788c0369a8a936e67fa4d5ae9ad60b506e988341bd25100d98996","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T01:38:14Z","title_canon_sha256":"5c3903ef7509616ddd336aa645588fd72b5f75e9877b27328a873c493c649cb8"},"schema_version":"1.0","source":{"id":"1011.6437","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.6437","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"arxiv_version","alias_value":"1011.6437v1","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.6437","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"pith_short_12","alias_value":"A2IKDTRVNSRR","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"A2IKDTRVNSRRAHI7","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"A2IKDTRV","created_at":"2026-05-18T12:26:05Z"}],"graph_snapshots":[{"event_id":"sha256:492e583727aa119c2a16dff9f3c3139400acc07f1483c7552ea8d4f8463b3167","target":"graph","created_at":"2026-05-18T04:34:26Z","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 well-known result by Palamidessi tells us that \\pimix (the \\pi-calculus with mixed choice) is more expressive than \\pisep (its subset with only separate choice). The proof of this result argues with their different expressive power concerning leader election in symmetric networks. Later on, Gorla offered an arguably simpler proof that, instead of leader election in symmetric networks, employed the reducibility of incestual processes (mixed choices that include both enabled senders and receivers for the same channel) when running two copies in parallel. In both proofs, the role of breaking (i","authors_text":"Kirstin Peters, Uwe Nestmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T01:38:14Z","title":"Breaking Symmetries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.6437","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:486d09fe839bb89ae7e068700dc4c6efa26bb9c12bb06fd257005c16d7fea49b","target":"record","created_at":"2026-05-18T04:34:26Z","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":"e54a8eac4c0788c0369a8a936e67fa4d5ae9ad60b506e988341bd25100d98996","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T01:38:14Z","title_canon_sha256":"5c3903ef7509616ddd336aa645588fd72b5f75e9877b27328a873c493c649cb8"},"schema_version":"1.0","source":{"id":"1011.6437","kind":"arxiv","version":1}},"canonical_sha256":"0690a1ce356ca3101d1fd790db47d505f6afe5a7beb472a2b68807d4886c5f18","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0690a1ce356ca3101d1fd790db47d505f6afe5a7beb472a2b68807d4886c5f18","first_computed_at":"2026-05-18T04:34:26.937218Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:34:26.937218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8v5mgTQg4+E86NC+xxNrvc+53wlJMuhIVA/k0Wvy9hcWgqKoV/m0NIJJU85oWSMp7AEvzIEgNFTCd52MhOmmDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:34:26.937818Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.6437","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:486d09fe839bb89ae7e068700dc4c6efa26bb9c12bb06fd257005c16d7fea49b","sha256:492e583727aa119c2a16dff9f3c3139400acc07f1483c7552ea8d4f8463b3167"],"state_sha256":"e47f1ef47b31636c114a486c9f007b25bac39084e7f791694165f53ce0a4ba05"}