{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:KSP36IBT4JUKO44LA26OCQCQ2R","short_pith_number":"pith:KSP36IBT","canonical_record":{"source":{"id":"1210.2125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T01:17:26Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0b0df8ff390dd73867cc3bbeef83cbcc5c1673173bae94e184f7ebf7a91c28e3","abstract_canon_sha256":"ebbaf36a33d44b1bcedf661604e4b7d3ee32fc82b11871b9194f8748d76029d9"},"schema_version":"1.0"},"canonical_sha256":"549fbf2033e268a7738b06bce14050d456ca2f7e06f4819aa25d295dc1790bd2","source":{"kind":"arxiv","id":"1210.2125","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2125","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2125v1","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2125","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"pith_short_12","alias_value":"KSP36IBT4JUK","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KSP36IBT4JUKO44L","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KSP36IBT","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:KSP36IBT4JUKO44LA26OCQCQ2R","target":"record","payload":{"canonical_record":{"source":{"id":"1210.2125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T01:17:26Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0b0df8ff390dd73867cc3bbeef83cbcc5c1673173bae94e184f7ebf7a91c28e3","abstract_canon_sha256":"ebbaf36a33d44b1bcedf661604e4b7d3ee32fc82b11871b9194f8748d76029d9"},"schema_version":"1.0"},"canonical_sha256":"549fbf2033e268a7738b06bce14050d456ca2f7e06f4819aa25d295dc1790bd2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:51.046270Z","signature_b64":"bku1cCdpV+VTuwoUc365/pb7Xd3CDb5iYcY+hHIPJ5yQuFLGWyiJXW0e6sAlHC9IyQ9soBRk2vekDAFryV/9Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"549fbf2033e268a7738b06bce14050d456ca2f7e06f4819aa25d295dc1790bd2","last_reissued_at":"2026-05-18T03:43:51.045703Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:51.045703Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.2125","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:43:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Lj4WLjW/qU7ugwAxGzX+KNVateg33c+hyqb2W2n9ATPfIvccMR4ZRBxsCEEFEQDrgzD0KjHNe8mH3VOaezmDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T14:15:22.420466Z"},"content_sha256":"e1dc4df88975eac32d43066e984f7bb2e0374c991278b12eeccbe16ebabc801e","schema_version":"1.0","event_id":"sha256:e1dc4df88975eac32d43066e984f7bb2e0374c991278b12eeccbe16ebabc801e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:KSP36IBT4JUKO44LA26OCQCQ2R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Session Communication and Integration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Chengqi Zhang, Guoxin Su, Mingsheng Ying","submitted_at":"2012-10-08T01:17:26Z","abstract_excerpt":"The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the parallel composition of program components, and includes various ways such as scenario concatenation, choice, and nesting. The recent development of multiparty session types for process calculi provides useful techniques to accommodate the protocol modularisation, by encoding fragments of communication protocols in the usage of private channels for a class of agents. In this paper, we extend forgoing session type theories"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2125","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:43:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L0QzXdsxHZsACl9T+SehYwLlhVyPdhfg8MuR2RhymaMuSIqSyk+JmKiurizfirDsVmoqDy5M5okehP7t7efeCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T14:15:22.420802Z"},"content_sha256":"689e0c55340471b428296e938e17a89442d0edcbc383e044f2b59e30f9c4af84","schema_version":"1.0","event_id":"sha256:689e0c55340471b428296e938e17a89442d0edcbc383e044f2b59e30f9c4af84"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KSP36IBT4JUKO44LA26OCQCQ2R/bundle.json","state_url":"https://pith.science/pith/KSP36IBT4JUKO44LA26OCQCQ2R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KSP36IBT4JUKO44LA26OCQCQ2R/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-05-20T14:15:22Z","links":{"resolver":"https://pith.science/pith/KSP36IBT4JUKO44LA26OCQCQ2R","bundle":"https://pith.science/pith/KSP36IBT4JUKO44LA26OCQCQ2R/bundle.json","state":"https://pith.science/pith/KSP36IBT4JUKO44LA26OCQCQ2R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KSP36IBT4JUKO44LA26OCQCQ2R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:KSP36IBT4JUKO44LA26OCQCQ2R","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":"ebbaf36a33d44b1bcedf661604e4b7d3ee32fc82b11871b9194f8748d76029d9","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T01:17:26Z","title_canon_sha256":"0b0df8ff390dd73867cc3bbeef83cbcc5c1673173bae94e184f7ebf7a91c28e3"},"schema_version":"1.0","source":{"id":"1210.2125","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2125","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2125v1","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2125","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"pith_short_12","alias_value":"KSP36IBT4JUK","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KSP36IBT4JUKO44L","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KSP36IBT","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:689e0c55340471b428296e938e17a89442d0edcbc383e044f2b59e30f9c4af84","target":"graph","created_at":"2026-05-18T03:43:51Z","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":"The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the parallel composition of program components, and includes various ways such as scenario concatenation, choice, and nesting. The recent development of multiparty session types for process calculi provides useful techniques to accommodate the protocol modularisation, by encoding fragments of communication protocols in the usage of private channels for a class of agents. In this paper, we extend forgoing session type theories","authors_text":"Chengqi Zhang, Guoxin Su, Mingsheng Ying","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T01:17:26Z","title":"Session Communication and Integration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2125","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:e1dc4df88975eac32d43066e984f7bb2e0374c991278b12eeccbe16ebabc801e","target":"record","created_at":"2026-05-18T03:43:51Z","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":"ebbaf36a33d44b1bcedf661604e4b7d3ee32fc82b11871b9194f8748d76029d9","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-08T01:17:26Z","title_canon_sha256":"0b0df8ff390dd73867cc3bbeef83cbcc5c1673173bae94e184f7ebf7a91c28e3"},"schema_version":"1.0","source":{"id":"1210.2125","kind":"arxiv","version":1}},"canonical_sha256":"549fbf2033e268a7738b06bce14050d456ca2f7e06f4819aa25d295dc1790bd2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"549fbf2033e268a7738b06bce14050d456ca2f7e06f4819aa25d295dc1790bd2","first_computed_at":"2026-05-18T03:43:51.045703Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:51.045703Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bku1cCdpV+VTuwoUc365/pb7Xd3CDb5iYcY+hHIPJ5yQuFLGWyiJXW0e6sAlHC9IyQ9soBRk2vekDAFryV/9Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:51.046270Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.2125","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1dc4df88975eac32d43066e984f7bb2e0374c991278b12eeccbe16ebabc801e","sha256:689e0c55340471b428296e938e17a89442d0edcbc383e044f2b59e30f9c4af84"],"state_sha256":"1a18c7c606b17099a2e26f33000871ff842e27aa31ae8917a57b904dc3196740"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T9632oKKB6VdFtg23vbdJY2D9ww23qHrKEVG4M8dmAGRAFkjS2T8xqecwHeQkEy6VR6ubo1Pfwb4HVW3zZGTBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T14:15:22.422788Z","bundle_sha256":"da73297506e28093b001a972bfc27a0880e2827e6ab81b1a79914ee796bc3d07"}}