{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SOHYZHINCBLPBSSTXHAB3GNXBJ","short_pith_number":"pith:SOHYZHIN","canonical_record":{"source":{"id":"1406.3481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-13T10:17:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4ad5e76ed5b8cef283430a682b03ed0ac9a1b6e6b8809f31cb70c0db343e6875","abstract_canon_sha256":"2675f2bccc83d472c08ba464b905f665fd73c570d8701b7e0b3cdab5590c86a5"},"schema_version":"1.0"},"canonical_sha256":"938f8c9d0d1056f0ca53b9c01d99b70a7ba30dc0fd8ea1d0d040b05510b72dc8","source":{"kind":"arxiv","id":"1406.3481","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3481","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3481v1","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3481","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"SOHYZHINCBLP","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SOHYZHINCBLPBSST","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SOHYZHIN","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SOHYZHINCBLPBSSTXHAB3GNXBJ","target":"record","payload":{"canonical_record":{"source":{"id":"1406.3481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-13T10:17:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4ad5e76ed5b8cef283430a682b03ed0ac9a1b6e6b8809f31cb70c0db343e6875","abstract_canon_sha256":"2675f2bccc83d472c08ba464b905f665fd73c570d8701b7e0b3cdab5590c86a5"},"schema_version":"1.0"},"canonical_sha256":"938f8c9d0d1056f0ca53b9c01d99b70a7ba30dc0fd8ea1d0d040b05510b72dc8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:46.611345Z","signature_b64":"VWQBhl4dMcFsiVJnzUUSeh3NNKe4lEzW5EtMGYwJO7jHvtv0qbXYj7yZRGhYPk/CiMp7v8++RU5KRoyXdqfhBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"938f8c9d0d1056f0ca53b9c01d99b70a7ba30dc0fd8ea1d0d040b05510b72dc8","last_reissued_at":"2026-05-18T02:49:46.610945Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:46.610945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.3481","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-18T02:49:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IlNE6x4dHB/9QVYqQZ38/Y/ZU8NGbrLvI6H967MsTk4KAXy2x7e8xay7vx1/j659y4Xbsl4OTuWkfSD+ynu3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T00:25:05.477044Z"},"content_sha256":"2e1b4427001c923c0848d0a3ebe50834f1a9051b8f465b5b655bd3e05ce0db2d","schema_version":"1.0","event_id":"sha256:2e1b4427001c923c0848d0a3ebe50834f1a9051b8f465b5b655bd3e05ce0db2d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SOHYZHINCBLPBSSTXHAB3GNXBJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Session Types for Broadcasting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Dimitrios Kouzapas (University of Glasgow), Ram\\=unas Gutkovas (Uppsala University), Simon J. Gay (University of Glasgow)","submitted_at":"2014-06-13T10:17:02Z","abstract_excerpt":"Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for broadcast communication semantics that by definition do not assume point to point and reliable communication. Our session framework lies on top of the parametric framework of broadcasting psi-calculi, giving insights on developing session types within a parametric framework. Our session type theory enjoys the properties of soundness and safety. We "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3481","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-18T02:49:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z9+7iKuw+MABmC4K/WDNrk3027Vq+NXVz0kNmEdCEHdro15Fc6DuVVB6bHMnUft03K99h5hdAefyALd6FwB0AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T00:25:05.477404Z"},"content_sha256":"47d7e1ae88b315dc69f101499bb2a1b09c4cddab7a9861f216141e04ed24d603","schema_version":"1.0","event_id":"sha256:47d7e1ae88b315dc69f101499bb2a1b09c4cddab7a9861f216141e04ed24d603"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ/bundle.json","state_url":"https://pith.science/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ/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-26T00:25:05Z","links":{"resolver":"https://pith.science/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ","bundle":"https://pith.science/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ/bundle.json","state":"https://pith.science/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SOHYZHINCBLPBSSTXHAB3GNXBJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SOHYZHINCBLPBSSTXHAB3GNXBJ","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":"2675f2bccc83d472c08ba464b905f665fd73c570d8701b7e0b3cdab5590c86a5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-13T10:17:02Z","title_canon_sha256":"4ad5e76ed5b8cef283430a682b03ed0ac9a1b6e6b8809f31cb70c0db343e6875"},"schema_version":"1.0","source":{"id":"1406.3481","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3481","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3481v1","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3481","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"SOHYZHINCBLP","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SOHYZHINCBLPBSST","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SOHYZHIN","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:47d7e1ae88b315dc69f101499bb2a1b09c4cddab7a9861f216141e04ed24d603","target":"graph","created_at":"2026-05-18T02:49:46Z","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":"Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for broadcast communication semantics that by definition do not assume point to point and reliable communication. Our session framework lies on top of the parametric framework of broadcasting psi-calculi, giving insights on developing session types within a parametric framework. Our session type theory enjoys the properties of soundness and safety. We ","authors_text":"Dimitrios Kouzapas (University of Glasgow), Ram\\=unas Gutkovas (Uppsala University), Simon J. Gay (University of Glasgow)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-13T10:17:02Z","title":"Session Types for Broadcasting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3481","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:2e1b4427001c923c0848d0a3ebe50834f1a9051b8f465b5b655bd3e05ce0db2d","target":"record","created_at":"2026-05-18T02:49:46Z","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":"2675f2bccc83d472c08ba464b905f665fd73c570d8701b7e0b3cdab5590c86a5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-13T10:17:02Z","title_canon_sha256":"4ad5e76ed5b8cef283430a682b03ed0ac9a1b6e6b8809f31cb70c0db343e6875"},"schema_version":"1.0","source":{"id":"1406.3481","kind":"arxiv","version":1}},"canonical_sha256":"938f8c9d0d1056f0ca53b9c01d99b70a7ba30dc0fd8ea1d0d040b05510b72dc8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"938f8c9d0d1056f0ca53b9c01d99b70a7ba30dc0fd8ea1d0d040b05510b72dc8","first_computed_at":"2026-05-18T02:49:46.610945Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:46.610945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VWQBhl4dMcFsiVJnzUUSeh3NNKe4lEzW5EtMGYwJO7jHvtv0qbXYj7yZRGhYPk/CiMp7v8++RU5KRoyXdqfhBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:46.611345Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.3481","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e1b4427001c923c0848d0a3ebe50834f1a9051b8f465b5b655bd3e05ce0db2d","sha256:47d7e1ae88b315dc69f101499bb2a1b09c4cddab7a9861f216141e04ed24d603"],"state_sha256":"17b4c3427b4789f5f43a2e419f5b058b0d7f0b72aea66105043c6f08f37d6084"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TBVZ7cG54nWeboS27UKG/m6C3ZcPnSE8LIiVvQSUVj34ZxZBOIOObiA188heRh9rugHKPCLStSQObCcnIWh8Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T00:25:05.479339Z","bundle_sha256":"1e1705cf693d2fafb8cd19aa241df1559785b07f438aeda188aeaf23814efeb1"}}