{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:33XLOGPHI2TZWMZGKNB6GZ6SEU","short_pith_number":"pith:33XLOGPH","canonical_record":{"source":{"id":"1802.09182","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-26T06:58:39Z","cross_cats_sorted":[],"title_canon_sha256":"d78ace2897f4059c84c061d8bf882857f93117f5b577532b0411ff7dd011b1bf","abstract_canon_sha256":"442fccc7a3e35f0def1a9c43e40cec1d8acadcd5ec9baa54b7b2f9685c0b57fd"},"schema_version":"1.0"},"canonical_sha256":"deeeb719e746a79b33265343e367d2250bb0e39808e71b1dd7abcd185fbbe0a7","source":{"kind":"arxiv","id":"1802.09182","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09182","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09182v2","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09182","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"pith_short_12","alias_value":"33XLOGPHI2TZ","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"33XLOGPHI2TZWMZG","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"33XLOGPH","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:33XLOGPHI2TZWMZGKNB6GZ6SEU","target":"record","payload":{"canonical_record":{"source":{"id":"1802.09182","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-26T06:58:39Z","cross_cats_sorted":[],"title_canon_sha256":"d78ace2897f4059c84c061d8bf882857f93117f5b577532b0411ff7dd011b1bf","abstract_canon_sha256":"442fccc7a3e35f0def1a9c43e40cec1d8acadcd5ec9baa54b7b2f9685c0b57fd"},"schema_version":"1.0"},"canonical_sha256":"deeeb719e746a79b33265343e367d2250bb0e39808e71b1dd7abcd185fbbe0a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:30.412583Z","signature_b64":"8o9L9zWxofjTJBTXF/Bd32csrEU+P3ofuFLg6eQC2Z6fBYwdVAuaIdNHbmXtTfhLhoVNtZ6vHrrqDeLIWCYEDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"deeeb719e746a79b33265343e367d2250bb0e39808e71b1dd7abcd185fbbe0a7","last_reissued_at":"2026-05-18T00:17:30.412099Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:30.412099Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.09182","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-18T00:17:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PbNsf1twv6l6sGmI7mnboFmIci1EWoMH2hQTCsIiIIbmRO9/eUuiZp1f6p/1URkFQPUFCnZa+Oesq/FPohjxBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:16:09.351868Z"},"content_sha256":"27ea3c26860816d0427206ad433340ba8258a1aff08424c7e4de48d918b317e7","schema_version":"1.0","event_id":"sha256:27ea3c26860816d0427206ad433340ba8258a1aff08424c7e4de48d918b317e7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:33XLOGPHI2TZWMZGKNB6GZ6SEU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Validity of Encodings of the Synchronous in the Asynchronous $\\pi$-calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Rob van Glabbeek","submitted_at":"2018-02-26T06:58:39Z","abstract_excerpt":"Process calculi may be compared in their expressive power by means of encodings between them. A widely accepted definition of what constitutes a valid encoding for (dis)proving relative expressiveness results between process calculi was proposed by Gorla. Prior to this work, diverse encodability and separation results were generally obtained using distinct, and often incompatible, quality criteria on encodings.\n  Textbook examples of valid encoding are the encodings proposed by Boudol and by Honda & Tokoro of the synchronous choice-free $\\pi$-calculus into its asynchronous fragment, illustrati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09182","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-18T00:17:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CgaNnuqJwUO8wCj1cMVz1axV3dyfAxUzBNztAH8yr8bk22fwT0xuPbBRI9r9gzFiY2gLnulMz4TqOtaqi8eEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:16:09.352209Z"},"content_sha256":"926580f24f863a48d685ff6996fb71ec1a824b4b57d8a75d4193c6a38ba3ba63","schema_version":"1.0","event_id":"sha256:926580f24f863a48d685ff6996fb71ec1a824b4b57d8a75d4193c6a38ba3ba63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU/bundle.json","state_url":"https://pith.science/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU/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-27T23:16:09Z","links":{"resolver":"https://pith.science/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU","bundle":"https://pith.science/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU/bundle.json","state":"https://pith.science/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/33XLOGPHI2TZWMZGKNB6GZ6SEU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:33XLOGPHI2TZWMZGKNB6GZ6SEU","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":"442fccc7a3e35f0def1a9c43e40cec1d8acadcd5ec9baa54b7b2f9685c0b57fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-26T06:58:39Z","title_canon_sha256":"d78ace2897f4059c84c061d8bf882857f93117f5b577532b0411ff7dd011b1bf"},"schema_version":"1.0","source":{"id":"1802.09182","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09182","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09182v2","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09182","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"pith_short_12","alias_value":"33XLOGPHI2TZ","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"33XLOGPHI2TZWMZG","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"33XLOGPH","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:926580f24f863a48d685ff6996fb71ec1a824b4b57d8a75d4193c6a38ba3ba63","target":"graph","created_at":"2026-05-18T00:17:30Z","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":"Process calculi may be compared in their expressive power by means of encodings between them. A widely accepted definition of what constitutes a valid encoding for (dis)proving relative expressiveness results between process calculi was proposed by Gorla. Prior to this work, diverse encodability and separation results were generally obtained using distinct, and often incompatible, quality criteria on encodings.\n  Textbook examples of valid encoding are the encodings proposed by Boudol and by Honda & Tokoro of the synchronous choice-free $\\pi$-calculus into its asynchronous fragment, illustrati","authors_text":"Rob van Glabbeek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-26T06:58:39Z","title":"On the Validity of Encodings of the Synchronous in the Asynchronous $\\pi$-calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09182","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:27ea3c26860816d0427206ad433340ba8258a1aff08424c7e4de48d918b317e7","target":"record","created_at":"2026-05-18T00:17:30Z","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":"442fccc7a3e35f0def1a9c43e40cec1d8acadcd5ec9baa54b7b2f9685c0b57fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-26T06:58:39Z","title_canon_sha256":"d78ace2897f4059c84c061d8bf882857f93117f5b577532b0411ff7dd011b1bf"},"schema_version":"1.0","source":{"id":"1802.09182","kind":"arxiv","version":2}},"canonical_sha256":"deeeb719e746a79b33265343e367d2250bb0e39808e71b1dd7abcd185fbbe0a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"deeeb719e746a79b33265343e367d2250bb0e39808e71b1dd7abcd185fbbe0a7","first_computed_at":"2026-05-18T00:17:30.412099Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:30.412099Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8o9L9zWxofjTJBTXF/Bd32csrEU+P3ofuFLg6eQC2Z6fBYwdVAuaIdNHbmXtTfhLhoVNtZ6vHrrqDeLIWCYEDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:30.412583Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.09182","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27ea3c26860816d0427206ad433340ba8258a1aff08424c7e4de48d918b317e7","sha256:926580f24f863a48d685ff6996fb71ec1a824b4b57d8a75d4193c6a38ba3ba63"],"state_sha256":"02aefe8d8844374f7d09e793b492a2f1bfb7402a93982ec944040057324ac9f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"juaklKw7fRZLptQOhVB48TJeZfld/qrRXwtqJYHf/VSBkr9X26EcnLRpu7zkWeP2x5xMj778BhsPSdPWWg7GDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T23:16:09.354698Z","bundle_sha256":"da7d1dc5b30868b64971dd6a8dcdc53eb62b0a60e265678e41eb94023c19dae5"}}