{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4ZN2PXWOUJVTQAHXYL52CVV4DG","short_pith_number":"pith:4ZN2PXWO","canonical_record":{"source":{"id":"1412.5943","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-17T08:49:06Z","cross_cats_sorted":[],"title_canon_sha256":"21706cdfa5f032801a09c514513a042f9adc3bd4255862a2eb4c49779691665c","abstract_canon_sha256":"589b6fdf28a9b89a4f881a6ba90491dec948a63b3963b828c7bd40534a29dd5f"},"schema_version":"1.0"},"canonical_sha256":"e65ba7decea26b3800f7c2fba156bc19a6736ef1821a6ab662debe9f6906c502","source":{"kind":"arxiv","id":"1412.5943","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.5943","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1412.5943v3","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.5943","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"4ZN2PXWOUJVT","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4ZN2PXWOUJVTQAHX","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4ZN2PXWO","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4ZN2PXWOUJVTQAHXYL52CVV4DG","target":"record","payload":{"canonical_record":{"source":{"id":"1412.5943","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-17T08:49:06Z","cross_cats_sorted":[],"title_canon_sha256":"21706cdfa5f032801a09c514513a042f9adc3bd4255862a2eb4c49779691665c","abstract_canon_sha256":"589b6fdf28a9b89a4f881a6ba90491dec948a63b3963b828c7bd40534a29dd5f"},"schema_version":"1.0"},"canonical_sha256":"e65ba7decea26b3800f7c2fba156bc19a6736ef1821a6ab662debe9f6906c502","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:35.320731Z","signature_b64":"fNF8jrc+NqB6ENgbDJvEGdqxHkieMXzM/JchUNL+oA266Gii04PrigPGoO7fXlxgUm1IUY0miLzAJcIHVkF/DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e65ba7decea26b3800f7c2fba156bc19a6736ef1821a6ab662debe9f6906c502","last_reissued_at":"2026-05-18T01:37:35.320251Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:35.320251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.5943","source_version":3,"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-18T01:37:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KWc2P+CkmhqjTLVi7V6SW3r+jTnXqnrNxVopPAXkAavd5EhwbKoxCFGHcc4aXQt18JFpoamol6LilqgL9GgrAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T02:59:24.934363Z"},"content_sha256":"f04b11d1f1c9d04844b0a94487df259b05e1b8c9954ac152f1324109bc0127aa","schema_version":"1.0","event_id":"sha256:f04b11d1f1c9d04844b0a94487df259b05e1b8c9954ac152f1324109bc0127aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4ZN2PXWOUJVTQAHXYL52CVV4DG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Globally Governed Session Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dimitrios Kouzapas (University of Glasgow), Nobuko Yoshida (Imperial College London)","submitted_at":"2014-12-17T08:49:06Z","abstract_excerpt":"This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer. The bisimulation is defined with the observer cooperating with the observed process in order to form complete global session scenarios and usable for proving correctness of optimisations for globally coordinating threads and processes. The induced bisimulation is strictly more fine-grained than the standard session bisimulation. The difference between the governed and standard bisimulations only appears when more tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.5943","kind":"arxiv","version":3},"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-18T01:37:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lD0wPIbMvIH/zidnAJMUFV5OLHmcO7Hdvw0lgh2QGwchBksEvY0osLBgFLR7EHigMVBTDoW9J1LNhEa4LH1UCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T02:59:24.934724Z"},"content_sha256":"8e2cdeabf955a64e664b2e0ab8b550c7d7d14156ec062b0f53db619f8abe2488","schema_version":"1.0","event_id":"sha256:8e2cdeabf955a64e664b2e0ab8b550c7d7d14156ec062b0f53db619f8abe2488"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG/bundle.json","state_url":"https://pith.science/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG/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-26T02:59:24Z","links":{"resolver":"https://pith.science/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG","bundle":"https://pith.science/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG/bundle.json","state":"https://pith.science/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4ZN2PXWOUJVTQAHXYL52CVV4DG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4ZN2PXWOUJVTQAHXYL52CVV4DG","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":"589b6fdf28a9b89a4f881a6ba90491dec948a63b3963b828c7bd40534a29dd5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-17T08:49:06Z","title_canon_sha256":"21706cdfa5f032801a09c514513a042f9adc3bd4255862a2eb4c49779691665c"},"schema_version":"1.0","source":{"id":"1412.5943","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.5943","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1412.5943v3","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.5943","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"4ZN2PXWOUJVT","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4ZN2PXWOUJVTQAHX","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4ZN2PXWO","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:8e2cdeabf955a64e664b2e0ab8b550c7d7d14156ec062b0f53db619f8abe2488","target":"graph","created_at":"2026-05-18T01:37:35Z","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":"This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer. The bisimulation is defined with the observer cooperating with the observed process in order to form complete global session scenarios and usable for proving correctness of optimisations for globally coordinating threads and processes. The induced bisimulation is strictly more fine-grained than the standard session bisimulation. The difference between the governed and standard bisimulations only appears when more tha","authors_text":"Dimitrios Kouzapas (University of Glasgow), Nobuko Yoshida (Imperial College London)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-17T08:49:06Z","title":"Globally Governed Session Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.5943","kind":"arxiv","version":3},"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:f04b11d1f1c9d04844b0a94487df259b05e1b8c9954ac152f1324109bc0127aa","target":"record","created_at":"2026-05-18T01:37:35Z","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":"589b6fdf28a9b89a4f881a6ba90491dec948a63b3963b828c7bd40534a29dd5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-17T08:49:06Z","title_canon_sha256":"21706cdfa5f032801a09c514513a042f9adc3bd4255862a2eb4c49779691665c"},"schema_version":"1.0","source":{"id":"1412.5943","kind":"arxiv","version":3}},"canonical_sha256":"e65ba7decea26b3800f7c2fba156bc19a6736ef1821a6ab662debe9f6906c502","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e65ba7decea26b3800f7c2fba156bc19a6736ef1821a6ab662debe9f6906c502","first_computed_at":"2026-05-18T01:37:35.320251Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:35.320251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fNF8jrc+NqB6ENgbDJvEGdqxHkieMXzM/JchUNL+oA266Gii04PrigPGoO7fXlxgUm1IUY0miLzAJcIHVkF/DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:35.320731Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.5943","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f04b11d1f1c9d04844b0a94487df259b05e1b8c9954ac152f1324109bc0127aa","sha256:8e2cdeabf955a64e664b2e0ab8b550c7d7d14156ec062b0f53db619f8abe2488"],"state_sha256":"73754810dc2662e0e7ff6250dc4f72fcf1d1da096798b9d40f59d92e9c3a241b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MjtpSCpGAUz5UH86UyKjpsztUMT0Kt2XBdWKJUB9/PEPYWJYgm777HX0frz1jF41PSmSwXuXn0ROEOHcpjV/Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T02:59:24.937684Z","bundle_sha256":"87e2dd33c74ea98cce05de643930617514310e1f616f8f135fdcf6e5af11a458"}}