{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:KQCWY7OGR4I2ZUNTK34PIK3XNM","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":"cf4ed14a56121b656424b55e35d09a123754d5f5e6cd2440c14852c0b393e9ac","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-19T18:27:05Z","title_canon_sha256":"a94e530f0a8e4f4f01e62854f32ebe98ee360497636bc5c1aa3e8aa74ef147ec"},"schema_version":"1.0","source":{"id":"1112.4428","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.4428","created_at":"2026-05-18T04:06:06Z"},{"alias_kind":"arxiv_version","alias_value":"1112.4428v1","created_at":"2026-05-18T04:06:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.4428","created_at":"2026-05-18T04:06:06Z"},{"alias_kind":"pith_short_12","alias_value":"KQCWY7OGR4I2","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"KQCWY7OGR4I2ZUNT","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"KQCWY7OG","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:c5b112a8a6d868a9ea5e0509b279a44b170f930c53579aea5eabbd55db57490a","target":"graph","created_at":"2026-05-18T04:06:06Z","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":"Effecting coordination across remote sites in a distributed system is an essential part of distributed computing, and also an inherent challenge. In 1978, an analysis of communication in asynchronous systems was suggested by Leslie Lamport. Lamport's analysis determines a notion of temporal precedence, a sort of weak notion of time, which is otherwise missing in asynchronous systems. This notion has been extensively utilized in various applications.\n  Yet the analysis is limited to systems that are asynchronous. In this thesis we go beyond by investigating causality in synchronous systems. In ","authors_text":"Ido Ben-Zvi","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-19T18:27:05Z","title":"Causality, Knowledge and Coordination in Distributed Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.4428","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:f3e7329053f02adde0f6eec4985ae1a986bb7d5a470ccf6acbc7e24635aa172b","target":"record","created_at":"2026-05-18T04:06:06Z","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":"cf4ed14a56121b656424b55e35d09a123754d5f5e6cd2440c14852c0b393e9ac","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-19T18:27:05Z","title_canon_sha256":"a94e530f0a8e4f4f01e62854f32ebe98ee360497636bc5c1aa3e8aa74ef147ec"},"schema_version":"1.0","source":{"id":"1112.4428","kind":"arxiv","version":1}},"canonical_sha256":"54056c7dc68f11acd1b356f8f42b776b105fab79193bfaedcb0a2de477afa6f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54056c7dc68f11acd1b356f8f42b776b105fab79193bfaedcb0a2de477afa6f9","first_computed_at":"2026-05-18T04:06:06.468431Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:06:06.468431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Et8t4XGUengspvsViZCqMNM45D4HSJzgAodkvm+SsGQqguZgoxeUS8UfYxRbJkpdSc1PhNQ6cswGekyK37I6AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:06:06.469039Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.4428","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3e7329053f02adde0f6eec4985ae1a986bb7d5a470ccf6acbc7e24635aa172b","sha256:c5b112a8a6d868a9ea5e0509b279a44b170f930c53579aea5eabbd55db57490a"],"state_sha256":"cc845a4157b1344156a20f5a26c9238cb102d5d6b6bc7a3f348fa308bc61d11b"}