{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:QQM3ST764B2HUV2YUL2Y3SCAUA","short_pith_number":"pith:QQM3ST76","canonical_record":{"source":{"id":"1502.02585","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-09T18:13:14Z","cross_cats_sorted":[],"title_canon_sha256":"b7a23401b3f23bd71c5484d79dfed243b30ecaaf11424329ad1942fb52467116","abstract_canon_sha256":"52d70196979bad301ed14261da0494b9ce908f451e79f7110ba1ac07d0462769"},"schema_version":"1.0"},"canonical_sha256":"8419b94ffee0747a5758a2f58dc840a0237e713302a524f4975c4b7bf7758df3","source":{"kind":"arxiv","id":"1502.02585","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02585","created_at":"2026-05-18T02:27:31Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02585v2","created_at":"2026-05-18T02:27:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02585","created_at":"2026-05-18T02:27:31Z"},{"alias_kind":"pith_short_12","alias_value":"QQM3ST764B2H","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"QQM3ST764B2HUV2Y","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"QQM3ST76","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:QQM3ST764B2HUV2YUL2Y3SCAUA","target":"record","payload":{"canonical_record":{"source":{"id":"1502.02585","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-09T18:13:14Z","cross_cats_sorted":[],"title_canon_sha256":"b7a23401b3f23bd71c5484d79dfed243b30ecaaf11424329ad1942fb52467116","abstract_canon_sha256":"52d70196979bad301ed14261da0494b9ce908f451e79f7110ba1ac07d0462769"},"schema_version":"1.0"},"canonical_sha256":"8419b94ffee0747a5758a2f58dc840a0237e713302a524f4975c4b7bf7758df3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:31.346054Z","signature_b64":"FR+1pjSxIdGalbLbLbGd9izdAY9HR372uHb+IUChIzqpKeNzbCYyp/EhFXt9+oWavUY4a/IEM/FuvkoHQO6iBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8419b94ffee0747a5758a2f58dc840a0237e713302a524f4975c4b7bf7758df3","last_reissued_at":"2026-05-18T02:27:31.345278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:31.345278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.02585","source_version":2,"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:27:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oX+wTYmF7KtiNe97JgXPYrBaR8B5fM0lPv0MHjlaUD2FN5qvnW5cdbJVw9wifCMwRSyX605fl7akrAJk7z2TCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:26:01.054531Z"},"content_sha256":"2dac043760a18c999e0e03ae1e62aa0fa39c57d2aa04c7d8033c0a7f1400e7f9","schema_version":"1.0","event_id":"sha256:2dac043760a18c999e0e03ae1e62aa0fa39c57d2aa04c7d8033c0a7f1400e7f9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:QQM3ST764B2HUV2YUL2Y3SCAUA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dimitrios Kouzapas, Jorge A. P\\'erez, Nobuko Yoshida","submitted_at":"2015-02-09T18:13:14Z","abstract_excerpt":"This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant subcalculi. First we develop three typed bisimulations, which are shown to coincide with contextual equivalence. These characterisations demonstrate that observing as inputs only a specific finite set of higher-order values (which inhabit session types) suffices to reason about HOp} processes. Next, we identify HO, a minimal, second-order subcalculus of HOpi in which higher-order applications/abstractions, name-passin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02585","kind":"arxiv","version":2},"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:27:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K5hPKSKi3DWpPNZD/qfRw0jl4lga2viTHCSvFfzzeRtFzc/VR2+7IWoMeUqlqmgW+ffPaHHRSzUmwgwr//5YBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:26:01.054896Z"},"content_sha256":"3ac99a836cf744f27395b5920d5d2fc78363fde35c1950be78749eb65850a84d","schema_version":"1.0","event_id":"sha256:3ac99a836cf744f27395b5920d5d2fc78363fde35c1950be78749eb65850a84d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QQM3ST764B2HUV2YUL2Y3SCAUA/bundle.json","state_url":"https://pith.science/pith/QQM3ST764B2HUV2YUL2Y3SCAUA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QQM3ST764B2HUV2YUL2Y3SCAUA/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-28T04:26:01Z","links":{"resolver":"https://pith.science/pith/QQM3ST764B2HUV2YUL2Y3SCAUA","bundle":"https://pith.science/pith/QQM3ST764B2HUV2YUL2Y3SCAUA/bundle.json","state":"https://pith.science/pith/QQM3ST764B2HUV2YUL2Y3SCAUA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QQM3ST764B2HUV2YUL2Y3SCAUA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:QQM3ST764B2HUV2YUL2Y3SCAUA","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":"52d70196979bad301ed14261da0494b9ce908f451e79f7110ba1ac07d0462769","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-09T18:13:14Z","title_canon_sha256":"b7a23401b3f23bd71c5484d79dfed243b30ecaaf11424329ad1942fb52467116"},"schema_version":"1.0","source":{"id":"1502.02585","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02585","created_at":"2026-05-18T02:27:31Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02585v2","created_at":"2026-05-18T02:27:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02585","created_at":"2026-05-18T02:27:31Z"},{"alias_kind":"pith_short_12","alias_value":"QQM3ST764B2H","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"QQM3ST764B2HUV2Y","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"QQM3ST76","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:3ac99a836cf744f27395b5920d5d2fc78363fde35c1950be78749eb65850a84d","target":"graph","created_at":"2026-05-18T02:27:31Z","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 work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant subcalculi. First we develop three typed bisimulations, which are shown to coincide with contextual equivalence. These characterisations demonstrate that observing as inputs only a specific finite set of higher-order values (which inhabit session types) suffices to reason about HOp} processes. Next, we identify HO, a minimal, second-order subcalculus of HOpi in which higher-order applications/abstractions, name-passin","authors_text":"Dimitrios Kouzapas, Jorge A. P\\'erez, Nobuko Yoshida","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-09T18:13:14Z","title":"Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02585","kind":"arxiv","version":2},"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:2dac043760a18c999e0e03ae1e62aa0fa39c57d2aa04c7d8033c0a7f1400e7f9","target":"record","created_at":"2026-05-18T02:27:31Z","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":"52d70196979bad301ed14261da0494b9ce908f451e79f7110ba1ac07d0462769","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-09T18:13:14Z","title_canon_sha256":"b7a23401b3f23bd71c5484d79dfed243b30ecaaf11424329ad1942fb52467116"},"schema_version":"1.0","source":{"id":"1502.02585","kind":"arxiv","version":2}},"canonical_sha256":"8419b94ffee0747a5758a2f58dc840a0237e713302a524f4975c4b7bf7758df3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8419b94ffee0747a5758a2f58dc840a0237e713302a524f4975c4b7bf7758df3","first_computed_at":"2026-05-18T02:27:31.345278Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:31.345278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FR+1pjSxIdGalbLbLbGd9izdAY9HR372uHb+IUChIzqpKeNzbCYyp/EhFXt9+oWavUY4a/IEM/FuvkoHQO6iBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:31.346054Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.02585","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2dac043760a18c999e0e03ae1e62aa0fa39c57d2aa04c7d8033c0a7f1400e7f9","sha256:3ac99a836cf744f27395b5920d5d2fc78363fde35c1950be78749eb65850a84d"],"state_sha256":"5daa9582d7a1eca2fd3aff1734e1bcd2dad2c62df732ac7d73ce18b3afa1101b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/c6hgsJ/djllCe8045BOfhX8wrEHrLXhO3AOtWiRA+8c95zf/mTpEEtoCYxrfY5hoe1d964ueLEf2QRG3CLcCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:26:01.057046Z","bundle_sha256":"6dcf447a419da8a575774b60e581fb55c6ed284dad5dbd375dddebd870aad53c"}}