{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KOVT2CTDBQEJMLQUPV4AG7TB2D","short_pith_number":"pith:KOVT2CTD","canonical_record":{"source":{"id":"1406.3482","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-06-13T10:17:14Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"385916cc5741fc74ce20e2730b3fb350f046ec73c379ac9d93a92af3a761adfd","abstract_canon_sha256":"eea0f88b41c9a36bf951a12b88653dbb7cbb1757c417cfc7aa6b0839cfeec194"},"schema_version":"1.0"},"canonical_sha256":"53ab3d0a630c08962e147d78037e61d0c24d3a5c80bcec29b85626b8941fe7fb","source":{"kind":"arxiv","id":"1406.3482","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3482","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3482v1","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3482","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"KOVT2CTDBQEJ","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KOVT2CTDBQEJMLQU","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KOVT2CTD","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KOVT2CTDBQEJMLQUPV4AG7TB2D","target":"record","payload":{"canonical_record":{"source":{"id":"1406.3482","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-06-13T10:17:14Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"385916cc5741fc74ce20e2730b3fb350f046ec73c379ac9d93a92af3a761adfd","abstract_canon_sha256":"eea0f88b41c9a36bf951a12b88653dbb7cbb1757c417cfc7aa6b0839cfeec194"},"schema_version":"1.0"},"canonical_sha256":"53ab3d0a630c08962e147d78037e61d0c24d3a5c80bcec29b85626b8941fe7fb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:46.606241Z","signature_b64":"9nu2sSLhJVGOxHrThetvoAonoua74y84S9GUwtRiFTZ2IQCvdHZaV3S1eSBRsOr6kR0PpzIdhINsxDsim6ZvCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53ab3d0a630c08962e147d78037e61d0c24d3a5c80bcec29b85626b8941fe7fb","last_reissued_at":"2026-05-18T02:49:46.605888Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:46.605888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.3482","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":"RoXwAVQKDT/vygD28UE3VLnVJ5gsIxxHDGpZU7RMREqG+nTPgP4F7DSZV+/KFpOnL25pS+NlAVgcqlfNWQIBDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T19:27:19.502920Z"},"content_sha256":"0315e78eb301129c1f8a8593487183e6c86822a992f626e6be4ab07805c67f3a","schema_version":"1.0","event_id":"sha256:0315e78eb301129c1f8a8593487183e6c86822a992f626e6be4ab07805c67f3a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KOVT2CTDBQEJMLQUPV4AG7TB2D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multiparty Session Actors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.DC","authors_text":"Nobuko Yoshida (Imperial College London), Rumyana Neykova (Imperial College London)","submitted_at":"2014-06-13T10:17:14Z","abstract_excerpt":"Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailbox. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guaranteeing type-safety and progress of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3482","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":"upRQI3QboreKRAEx8mPprs35tT7rdhN5+auaXsaHhvkJIOHIaXyYwiG0pTztAnQo+0xkbELhXLHTn3fFAhLTAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T19:27:19.503250Z"},"content_sha256":"00ca213304ff57d964bb6a03347621b207294e83e05f585d155b1d0464e67b3b","schema_version":"1.0","event_id":"sha256:00ca213304ff57d964bb6a03347621b207294e83e05f585d155b1d0464e67b3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D/bundle.json","state_url":"https://pith.science/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D/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-26T19:27:19Z","links":{"resolver":"https://pith.science/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D","bundle":"https://pith.science/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D/bundle.json","state":"https://pith.science/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KOVT2CTDBQEJMLQUPV4AG7TB2D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KOVT2CTDBQEJMLQUPV4AG7TB2D","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":"eea0f88b41c9a36bf951a12b88653dbb7cbb1757c417cfc7aa6b0839cfeec194","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-06-13T10:17:14Z","title_canon_sha256":"385916cc5741fc74ce20e2730b3fb350f046ec73c379ac9d93a92af3a761adfd"},"schema_version":"1.0","source":{"id":"1406.3482","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3482","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3482v1","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3482","created_at":"2026-05-18T02:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"KOVT2CTDBQEJ","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KOVT2CTDBQEJMLQU","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KOVT2CTD","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:00ca213304ff57d964bb6a03347621b207294e83e05f585d155b1d0464e67b3b","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":"Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailbox. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guaranteeing type-safety and progress of ","authors_text":"Nobuko Yoshida (Imperial College London), Rumyana Neykova (Imperial College London)","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-06-13T10:17:14Z","title":"Multiparty Session Actors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3482","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:0315e78eb301129c1f8a8593487183e6c86822a992f626e6be4ab07805c67f3a","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":"eea0f88b41c9a36bf951a12b88653dbb7cbb1757c417cfc7aa6b0839cfeec194","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-06-13T10:17:14Z","title_canon_sha256":"385916cc5741fc74ce20e2730b3fb350f046ec73c379ac9d93a92af3a761adfd"},"schema_version":"1.0","source":{"id":"1406.3482","kind":"arxiv","version":1}},"canonical_sha256":"53ab3d0a630c08962e147d78037e61d0c24d3a5c80bcec29b85626b8941fe7fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53ab3d0a630c08962e147d78037e61d0c24d3a5c80bcec29b85626b8941fe7fb","first_computed_at":"2026-05-18T02:49:46.605888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:46.605888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9nu2sSLhJVGOxHrThetvoAonoua74y84S9GUwtRiFTZ2IQCvdHZaV3S1eSBRsOr6kR0PpzIdhINsxDsim6ZvCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:46.606241Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.3482","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0315e78eb301129c1f8a8593487183e6c86822a992f626e6be4ab07805c67f3a","sha256:00ca213304ff57d964bb6a03347621b207294e83e05f585d155b1d0464e67b3b"],"state_sha256":"b11507998730c540e168d6b84b3ec5aa7fccd11af62c62b6429ac59cf4f2993e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mQ2csS0fEXJ8XsUYh6kmjk+W/9YoZ78ZEot7TvbrGurnD9cI7WiofzLJOVg+PcbK4whgDN9accGnlQlQpUpDAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T19:27:19.505076Z","bundle_sha256":"d1b6caab593b5ad35f1646241128fc5115e447a1c54af2963f96c0e665fa400b"}}