{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:G7FBXXENRDNY3SNLIRNVCTQ3OM","short_pith_number":"pith:G7FBXXEN","canonical_record":{"source":{"id":"1312.2699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-10T08:03:27Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c5dc0af96a7a5e73a8ad7b1f269c8be79fd207204cca45704f4bad5709ccc29d","abstract_canon_sha256":"8d6b17dcee76fc7210605ee2ebcc128e6e03dbf5e62447f55cb5ecb7e6343d21"},"schema_version":"1.0"},"canonical_sha256":"37ca1bdc8d88db8dc9ab445b514e1b73017aedb9db3868f90cddb2ed4f4fff44","source":{"kind":"arxiv","id":"1312.2699","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.2699","created_at":"2026-05-18T03:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"1312.2699v1","created_at":"2026-05-18T03:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.2699","created_at":"2026-05-18T03:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"G7FBXXENRDNY","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"G7FBXXENRDNY3SNL","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"G7FBXXEN","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:G7FBXXENRDNY3SNLIRNVCTQ3OM","target":"record","payload":{"canonical_record":{"source":{"id":"1312.2699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-10T08:03:27Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c5dc0af96a7a5e73a8ad7b1f269c8be79fd207204cca45704f4bad5709ccc29d","abstract_canon_sha256":"8d6b17dcee76fc7210605ee2ebcc128e6e03dbf5e62447f55cb5ecb7e6343d21"},"schema_version":"1.0"},"canonical_sha256":"37ca1bdc8d88db8dc9ab445b514e1b73017aedb9db3868f90cddb2ed4f4fff44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:05:09.105409Z","signature_b64":"S8ukhSP2DTDPS2axSDJkYRQPwRnNcZL1c83xAsyJxN6h8Uy43SrTmpT4g2qcnYWDHZbHtFjdaDm/7DK7pI1+BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37ca1bdc8d88db8dc9ab445b514e1b73017aedb9db3868f90cddb2ed4f4fff44","last_reissued_at":"2026-05-18T03:05:09.104866Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:05:09.104866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.2699","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-18T03:05:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eu0NpMZlG+7J/lrezhmykrF/4upbjnk4igvgHI33+bhRxqTS4AhF8N3vh4RtcBK0LDb/D58lmkUn3p77F2rqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T02:07:02.184578Z"},"content_sha256":"2988c6b8c0432179cd65b3b369c61b397c05e8836cea1408f83a19fbf18d9751","schema_version":"1.0","event_id":"sha256:2988c6b8c0432179cd65b3b369c61b397c05e8836cea1408f83a19fbf18d9751"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:G7FBXXENRDNY3SNLIRNVCTQ3OM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Session Types with Runtime Adaptation: Overview and Examples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Cinzia Di Giusto, Jorge A. P\\'erez","submitted_at":"2013-12-10T08:03:27Z","abstract_excerpt":"In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel constructs that enable communicating processes to be stopped, duplicated, or discarded at runtime. The aim is to understand whether known techniques for the static analysis of structured communications scale up to the challenging context of context-aware, adaptable distributed systems, in which disciplined interaction and runtime adaptation are intertwined concerns. In this short note, we summarize the main features of ou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.2699","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-18T03:05:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DK6O3ImX6i9a4UAyc42yhbDDzXgykZg53Yw04IZa9jdf3eQM0tmM2GbIjeF2FJRqyZgGu+hr5tuHIYrpg8NUCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T02:07:02.185159Z"},"content_sha256":"d0d6fa35bbaff74ba0a52aa783c3fe738b346d4c62a8c7292295e4b1f46b09bb","schema_version":"1.0","event_id":"sha256:d0d6fa35bbaff74ba0a52aa783c3fe738b346d4c62a8c7292295e4b1f46b09bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM/bundle.json","state_url":"https://pith.science/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM/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-11T02:07:02Z","links":{"resolver":"https://pith.science/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM","bundle":"https://pith.science/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM/bundle.json","state":"https://pith.science/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G7FBXXENRDNY3SNLIRNVCTQ3OM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:G7FBXXENRDNY3SNLIRNVCTQ3OM","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":"8d6b17dcee76fc7210605ee2ebcc128e6e03dbf5e62447f55cb5ecb7e6343d21","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-10T08:03:27Z","title_canon_sha256":"c5dc0af96a7a5e73a8ad7b1f269c8be79fd207204cca45704f4bad5709ccc29d"},"schema_version":"1.0","source":{"id":"1312.2699","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.2699","created_at":"2026-05-18T03:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"1312.2699v1","created_at":"2026-05-18T03:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.2699","created_at":"2026-05-18T03:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"G7FBXXENRDNY","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"G7FBXXENRDNY3SNL","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"G7FBXXEN","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:d0d6fa35bbaff74ba0a52aa783c3fe738b346d4c62a8c7292295e4b1f46b09bb","target":"graph","created_at":"2026-05-18T03:05:09Z","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":"In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel constructs that enable communicating processes to be stopped, duplicated, or discarded at runtime. The aim is to understand whether known techniques for the static analysis of structured communications scale up to the challenging context of context-aware, adaptable distributed systems, in which disciplined interaction and runtime adaptation are intertwined concerns. In this short note, we summarize the main features of ou","authors_text":"Cinzia Di Giusto, Jorge A. P\\'erez","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-10T08:03:27Z","title":"Session Types with Runtime Adaptation: Overview and Examples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.2699","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:2988c6b8c0432179cd65b3b369c61b397c05e8836cea1408f83a19fbf18d9751","target":"record","created_at":"2026-05-18T03:05:09Z","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":"8d6b17dcee76fc7210605ee2ebcc128e6e03dbf5e62447f55cb5ecb7e6343d21","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-10T08:03:27Z","title_canon_sha256":"c5dc0af96a7a5e73a8ad7b1f269c8be79fd207204cca45704f4bad5709ccc29d"},"schema_version":"1.0","source":{"id":"1312.2699","kind":"arxiv","version":1}},"canonical_sha256":"37ca1bdc8d88db8dc9ab445b514e1b73017aedb9db3868f90cddb2ed4f4fff44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37ca1bdc8d88db8dc9ab445b514e1b73017aedb9db3868f90cddb2ed4f4fff44","first_computed_at":"2026-05-18T03:05:09.104866Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:05:09.104866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S8ukhSP2DTDPS2axSDJkYRQPwRnNcZL1c83xAsyJxN6h8Uy43SrTmpT4g2qcnYWDHZbHtFjdaDm/7DK7pI1+BA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:05:09.105409Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.2699","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2988c6b8c0432179cd65b3b369c61b397c05e8836cea1408f83a19fbf18d9751","sha256:d0d6fa35bbaff74ba0a52aa783c3fe738b346d4c62a8c7292295e4b1f46b09bb"],"state_sha256":"5609cf6431c4b0d7a96b926df614597e13501383195bd7ffded8bf72426a7a55"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l6cWM01kxkkchtdAQVB/iJ/dArU0oWWP6Ny+XCB1bVI9kU98WkfL1YpD78pAyocdOfegxiG+eJzELH8urPgFAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T02:07:02.188738Z","bundle_sha256":"26228ba8c86c8a2643d0016d90d84e659919438941dbce21d7c93b658f6fff4d"}}