{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:VATSGSFVGDJZAM2ZFMTD7A7XF4","short_pith_number":"pith:VATSGSFV","canonical_record":{"source":{"id":"1011.6496","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T09:34:28Z","cross_cats_sorted":[],"title_canon_sha256":"53a3cadc3584f78a5d10e792673cc49206c43765127d68d39b39804d9eab2ae2","abstract_canon_sha256":"a4355a8f1ab6f5c9be804c07973898454a18fed45ebcb9b2f1e60d30725c3259"},"schema_version":"1.0"},"canonical_sha256":"a8272348b530d39033592b263f83f72f28c6a8a17b30c1c7e949ff5540a03dce","source":{"kind":"arxiv","id":"1011.6496","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.6496","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"arxiv_version","alias_value":"1011.6496v1","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.6496","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"pith_short_12","alias_value":"VATSGSFVGDJZ","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"VATSGSFVGDJZAM2Z","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"VATSGSFV","created_at":"2026-05-18T12:26:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:VATSGSFVGDJZAM2ZFMTD7A7XF4","target":"record","payload":{"canonical_record":{"source":{"id":"1011.6496","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T09:34:28Z","cross_cats_sorted":[],"title_canon_sha256":"53a3cadc3584f78a5d10e792673cc49206c43765127d68d39b39804d9eab2ae2","abstract_canon_sha256":"a4355a8f1ab6f5c9be804c07973898454a18fed45ebcb9b2f1e60d30725c3259"},"schema_version":"1.0"},"canonical_sha256":"a8272348b530d39033592b263f83f72f28c6a8a17b30c1c7e949ff5540a03dce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:34:26.791360Z","signature_b64":"UO9ADuwffbVQj8B3NuX3AAIV45PTHJGsOssNN/5r9cY3cxtwysH+f7MLlSZTP4/UTfPt28gm6D+qV7rJHnLxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8272348b530d39033592b263f83f72f28c6a8a17b30c1c7e949ff5540a03dce","last_reissued_at":"2026-05-18T04:34:26.790766Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:34:26.790766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.6496","source_version":1,"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-18T04:34:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0MeM1gPQfWB45QOoYTyxwFKi5290wx9KkaaYBcWt7E/8ruIADJG3MhPYZUiobW1nk1VZra98oMM+Hlqnp0fzDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T12:36:21.890236Z"},"content_sha256":"305858ab65dc77cc4038935aa43a57804c50915686475808805c87e1764bfc5b","schema_version":"1.0","event_id":"sha256:305858ab65dc77cc4038935aa43a57804c50915686475808805c87e1764bfc5b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:VATSGSFVGDJZAM2ZFMTD7A7XF4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Calculus of Consistent Component-based Software Updates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dejun Wang, Junqing Chen, Linpeng Huang, Xiaohui Xu","submitted_at":"2010-11-30T09:34:28Z","abstract_excerpt":"It is important to enable reasoning about the meaning and possible effects of updates to ensure that the updated system operates correctly. A formal, mathematical model of dynamic update should be developed, in order to understand by both users and implementors of update technology what design choices can be considered. In this paper, we define a formal calculus $update\\pi$, a variant extension of higher-order $\\pi$ calculus, to model dynamic updates of component-based software, which is language and technology independent. The calculus focuses on following main concepts: proper granularity of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.6496","kind":"arxiv","version":1},"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-18T04:34:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xpOjFQ9fCaGIcohEK5a9RvXsRA6F7lOoc6gl9I8LHWivec3QHAhXELgPG6l93bePHANM3oJO/U8D7RnKrLo4AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T12:36:21.890602Z"},"content_sha256":"b1ed759d61c78d38f43995152b38561a456982b92d057c084fc2a3db95f5727c","schema_version":"1.0","event_id":"sha256:b1ed759d61c78d38f43995152b38561a456982b92d057c084fc2a3db95f5727c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4/bundle.json","state_url":"https://pith.science/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4/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-06-22T12:36:21Z","links":{"resolver":"https://pith.science/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4","bundle":"https://pith.science/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4/bundle.json","state":"https://pith.science/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VATSGSFVGDJZAM2ZFMTD7A7XF4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:VATSGSFVGDJZAM2ZFMTD7A7XF4","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":"a4355a8f1ab6f5c9be804c07973898454a18fed45ebcb9b2f1e60d30725c3259","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T09:34:28Z","title_canon_sha256":"53a3cadc3584f78a5d10e792673cc49206c43765127d68d39b39804d9eab2ae2"},"schema_version":"1.0","source":{"id":"1011.6496","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.6496","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"arxiv_version","alias_value":"1011.6496v1","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.6496","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"pith_short_12","alias_value":"VATSGSFVGDJZ","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"VATSGSFVGDJZAM2Z","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"VATSGSFV","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:b1ed759d61c78d38f43995152b38561a456982b92d057c084fc2a3db95f5727c","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":"It is important to enable reasoning about the meaning and possible effects of updates to ensure that the updated system operates correctly. A formal, mathematical model of dynamic update should be developed, in order to understand by both users and implementors of update technology what design choices can be considered. In this paper, we define a formal calculus $update\\pi$, a variant extension of higher-order $\\pi$ calculus, to model dynamic updates of component-based software, which is language and technology independent. The calculus focuses on following main concepts: proper granularity of","authors_text":"Dejun Wang, Junqing Chen, Linpeng Huang, Xiaohui Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T09:34:28Z","title":"A Calculus of Consistent Component-based Software Updates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.6496","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:305858ab65dc77cc4038935aa43a57804c50915686475808805c87e1764bfc5b","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":"a4355a8f1ab6f5c9be804c07973898454a18fed45ebcb9b2f1e60d30725c3259","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-30T09:34:28Z","title_canon_sha256":"53a3cadc3584f78a5d10e792673cc49206c43765127d68d39b39804d9eab2ae2"},"schema_version":"1.0","source":{"id":"1011.6496","kind":"arxiv","version":1}},"canonical_sha256":"a8272348b530d39033592b263f83f72f28c6a8a17b30c1c7e949ff5540a03dce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8272348b530d39033592b263f83f72f28c6a8a17b30c1c7e949ff5540a03dce","first_computed_at":"2026-05-18T04:34:26.790766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:34:26.790766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UO9ADuwffbVQj8B3NuX3AAIV45PTHJGsOssNN/5r9cY3cxtwysH+f7MLlSZTP4/UTfPt28gm6D+qV7rJHnLxBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:34:26.791360Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.6496","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:305858ab65dc77cc4038935aa43a57804c50915686475808805c87e1764bfc5b","sha256:b1ed759d61c78d38f43995152b38561a456982b92d057c084fc2a3db95f5727c"],"state_sha256":"d3c81a968c828195ec6786bcf834014db63be49048ba07b895851bdddd4784d4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z268bGrkJnxY2BLjcVj9V+LiNMegxkBTGI6twxRbGQJUPpnSfG4Ek6Fienu+KYYkOzDufJPAA9mJQokH5zR+Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T12:36:21.892640Z","bundle_sha256":"f0e262bcc1656efcdab0da25674925e777ada77931da40a0d5930e3f739c6f27"}}