{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ARLKF34DR3EASYKYJEFFO4EC2S","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":"b785bfae07fe64330fadad1408ead342c9143f2341632985d0e7e9f9fc46d54c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-07-03T16:12:12Z","title_canon_sha256":"b785cd8c96a0727d16227b43b3c7bf8a76fa7039a22d4d7e3ca900c8df292dd5"},"schema_version":"1.0","source":{"id":"1407.0970","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.0970","created_at":"2026-05-18T02:19:59Z"},{"alias_kind":"arxiv_version","alias_value":"1407.0970v4","created_at":"2026-05-18T02:19:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.0970","created_at":"2026-05-18T02:19:59Z"},{"alias_kind":"pith_short_12","alias_value":"ARLKF34DR3EA","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"ARLKF34DR3EASYKY","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"ARLKF34D","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:a9852648b5b15755620bc26ddbe53be3d258406100e2473e6dce1ce6d8a5117c","target":"graph","created_at":"2026-05-18T02:19:59Z","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":"Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, ","authors_text":"Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli, Mila Dalla Preda, Saverio Giallorenzo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-07-03T16:12:12Z","title":"Dynamic Choreographies - Safe Runtime Updates of Distributed Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.0970","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:7812882e72c2a21610760dfe82317108af4a48b6bb7e8af74842797f021ca033","target":"record","created_at":"2026-05-18T02:19:59Z","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":"b785bfae07fe64330fadad1408ead342c9143f2341632985d0e7e9f9fc46d54c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-07-03T16:12:12Z","title_canon_sha256":"b785cd8c96a0727d16227b43b3c7bf8a76fa7039a22d4d7e3ca900c8df292dd5"},"schema_version":"1.0","source":{"id":"1407.0970","kind":"arxiv","version":4}},"canonical_sha256":"0456a2ef838ec8096158490a577082d484c9b09b87340b10c1c71e3b4acf7104","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0456a2ef838ec8096158490a577082d484c9b09b87340b10c1c71e3b4acf7104","first_computed_at":"2026-05-18T02:19:59.887774Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:19:59.887774Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"313+8ixWgGFeNJ/QUlsbZP3PiH+5Ac4ZYHhAv3RbxMehWlTZBm/REkF9m3xuF3imhk4vhtaKoypQmeemYqqYDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:19:59.888552Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.0970","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7812882e72c2a21610760dfe82317108af4a48b6bb7e8af74842797f021ca033","sha256:a9852648b5b15755620bc26ddbe53be3d258406100e2473e6dce1ce6d8a5117c"],"state_sha256":"97e64a3ba568e90c6728442d6e9c0abadd8f1d5990c5626d83f8061f14c5e2f2"}