{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:TCTZPJB3GPJJX2QJIGDNAZ362K","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":"0454e4892dd271ea1c0a2785477d8ca2b484ec5d327352dd3c2c11382d4d9a50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-24T14:17:05Z","title_canon_sha256":"94862a2f970f8e2c4331b18919ea43ea0041200226e2d559c3dc7e1ac40bad31"},"schema_version":"1.0","source":{"id":"1111.5775","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.5775","created_at":"2026-05-18T04:06:56Z"},{"alias_kind":"arxiv_version","alias_value":"1111.5775v2","created_at":"2026-05-18T04:06:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.5775","created_at":"2026-05-18T04:06:56Z"},{"alias_kind":"pith_short_12","alias_value":"TCTZPJB3GPJJ","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"TCTZPJB3GPJJX2QJ","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"TCTZPJB3","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:94cd00e40a16d6eb9bd97bae7d7a9814c99abb8ffd66b6403a190cb0ae41e44b","target":"graph","created_at":"2026-05-18T04:06:56Z","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":"Partial mutual exclusion is the drinking philosophers problem for complete graphs. It is the problem that a process may enter a critical section CS of its code only when some finite set nbh of other processes are not in their critical sections. For each execution of CS, the set nbh can be given by the environment. We present a starvation free solution of this problem in a setting with infinitely many processes, each with finite memory, that communicate by asynchronous messages. The solution has the property of first-come first-served, in so far as this can be guaranteed by asynchronous message","authors_text":"Wim H. Hesselink","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-24T14:17:05Z","title":"Partial mutual exclusion for infinitely many processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.5775","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:0e0c4f63efb866e1cfcfb93d7b88b1bafaf4aa495ccc47f676dedc4705f7a616","target":"record","created_at":"2026-05-18T04:06:56Z","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":"0454e4892dd271ea1c0a2785477d8ca2b484ec5d327352dd3c2c11382d4d9a50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-24T14:17:05Z","title_canon_sha256":"94862a2f970f8e2c4331b18919ea43ea0041200226e2d559c3dc7e1ac40bad31"},"schema_version":"1.0","source":{"id":"1111.5775","kind":"arxiv","version":2}},"canonical_sha256":"98a797a43b33d29bea094186d0677ed2802eabb531e04e47601f1c41a26952ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98a797a43b33d29bea094186d0677ed2802eabb531e04e47601f1c41a26952ed","first_computed_at":"2026-05-18T04:06:56.475444Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:06:56.475444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BBY5EnnBbjVgKMz/COTmiL3PU+OdU4kh6W3aR1+T3iI1OdYvTQn1uZ7I1Gqp4N4BcMJp0aNcQRg9bUac/En2BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:06:56.476258Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.5775","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e0c4f63efb866e1cfcfb93d7b88b1bafaf4aa495ccc47f676dedc4705f7a616","sha256:94cd00e40a16d6eb9bd97bae7d7a9814c99abb8ffd66b6403a190cb0ae41e44b"],"state_sha256":"173ae7b9aa988f448dd13a40858b0d083cd4329c8e1a60e3a8cb2f5588d467b7"}