{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:OLIUFECUNRIWOC4ACFUWSZBXVA","short_pith_number":"pith:OLIUFECU","canonical_record":{"source":{"id":"1508.06707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-27T03:21:08Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"4963743ecfe57c2c7409883695d7f08d094d92531bafff641faa6f907d376f61","abstract_canon_sha256":"13e6ceff0f899975c9b1af8e25b97283e131003f482938b36071cedbece48bd1"},"schema_version":"1.0"},"canonical_sha256":"72d14290546c51670b801169696437a822c074e8efbc993789464f9ae90cfdb7","source":{"kind":"arxiv","id":"1508.06707","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06707","created_at":"2026-05-18T01:34:41Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06707v1","created_at":"2026-05-18T01:34:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06707","created_at":"2026-05-18T01:34:41Z"},{"alias_kind":"pith_short_12","alias_value":"OLIUFECUNRIW","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OLIUFECUNRIWOC4A","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OLIUFECU","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:OLIUFECUNRIWOC4ACFUWSZBXVA","target":"record","payload":{"canonical_record":{"source":{"id":"1508.06707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-27T03:21:08Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"4963743ecfe57c2c7409883695d7f08d094d92531bafff641faa6f907d376f61","abstract_canon_sha256":"13e6ceff0f899975c9b1af8e25b97283e131003f482938b36071cedbece48bd1"},"schema_version":"1.0"},"canonical_sha256":"72d14290546c51670b801169696437a822c074e8efbc993789464f9ae90cfdb7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:34:41.326102Z","signature_b64":"MfxP3i/euyFp7OgEAUVgnE9xwjJNMw+6nsTNmrgwm19g8dH9MhjELIJoa39twsrbVsPVKRbKRErmrjs1HscSDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72d14290546c51670b801169696437a822c074e8efbc993789464f9ae90cfdb7","last_reissued_at":"2026-05-18T01:34:41.325519Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:34:41.325519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.06707","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-18T01:34:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PrTJhbC7XCGQbFtDUm0jQIo6E5aAvc4461kbSrm62AlRzmeFQ8OUnSjF4guwMDWIJ/LkTOkNDSJ5lByqvsdXBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T06:16:12.358990Z"},"content_sha256":"6721ddba814cd3364a9e19cc95e869e63a39c684ced1df9576d7aebbecc3bb25","schema_version":"1.0","event_id":"sha256:6721ddba814cd3364a9e19cc95e869e63a39c684ced1df9576d7aebbecc3bb25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:OLIUFECUNRIWOC4ACFUWSZBXVA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing Deadlock-Free Session Typed Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Jorge A. P\\'erez (University of Groningen, Ornela Dardha (University of Glasgow, the Netherlands), United Kingdom)","submitted_at":"2015-08-27T03:21:08Z","abstract_excerpt":"Besides respecting prescribed protocols, communication-centric systems should never \"get stuck\". This requirement has been expressed by liveness properties such as progress or (dead)lock freedom. Several typing disciplines that ensure these properties for mobile processes have been proposed. Unfortunately, very little is known about the precise relationship between these disciplines--and the classes of typed processes they induce.\n  In this paper, we compare L and K, two classes of deadlock-free, session typed concurrent processes. The class L stands out for its canonicity: it results naturall"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06707","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-18T01:34:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bjGOwb0KGi+Iwz7csd2Tgdxk+jy+4bXPE/fNmz7vIZMjx/DPbjatoAhWqE4sQ4crwwROirN0mLT8fgu/HGASCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T06:16:12.359720Z"},"content_sha256":"93d2f13a4b27cbabffc76c229aa7c1818c3167234f52df2fd4bcedb6e13d0700","schema_version":"1.0","event_id":"sha256:93d2f13a4b27cbabffc76c229aa7c1818c3167234f52df2fd4bcedb6e13d0700"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OLIUFECUNRIWOC4ACFUWSZBXVA/bundle.json","state_url":"https://pith.science/pith/OLIUFECUNRIWOC4ACFUWSZBXVA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OLIUFECUNRIWOC4ACFUWSZBXVA/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-11T06:16:12Z","links":{"resolver":"https://pith.science/pith/OLIUFECUNRIWOC4ACFUWSZBXVA","bundle":"https://pith.science/pith/OLIUFECUNRIWOC4ACFUWSZBXVA/bundle.json","state":"https://pith.science/pith/OLIUFECUNRIWOC4ACFUWSZBXVA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OLIUFECUNRIWOC4ACFUWSZBXVA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OLIUFECUNRIWOC4ACFUWSZBXVA","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":"13e6ceff0f899975c9b1af8e25b97283e131003f482938b36071cedbece48bd1","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-27T03:21:08Z","title_canon_sha256":"4963743ecfe57c2c7409883695d7f08d094d92531bafff641faa6f907d376f61"},"schema_version":"1.0","source":{"id":"1508.06707","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06707","created_at":"2026-05-18T01:34:41Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06707v1","created_at":"2026-05-18T01:34:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06707","created_at":"2026-05-18T01:34:41Z"},{"alias_kind":"pith_short_12","alias_value":"OLIUFECUNRIW","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OLIUFECUNRIWOC4A","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OLIUFECU","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:93d2f13a4b27cbabffc76c229aa7c1818c3167234f52df2fd4bcedb6e13d0700","target":"graph","created_at":"2026-05-18T01:34:41Z","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":"Besides respecting prescribed protocols, communication-centric systems should never \"get stuck\". This requirement has been expressed by liveness properties such as progress or (dead)lock freedom. Several typing disciplines that ensure these properties for mobile processes have been proposed. Unfortunately, very little is known about the precise relationship between these disciplines--and the classes of typed processes they induce.\n  In this paper, we compare L and K, two classes of deadlock-free, session typed concurrent processes. The class L stands out for its canonicity: it results naturall","authors_text":"Jorge A. P\\'erez (University of Groningen, Ornela Dardha (University of Glasgow, the Netherlands), United Kingdom)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-27T03:21:08Z","title":"Comparing Deadlock-Free Session Typed Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06707","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:6721ddba814cd3364a9e19cc95e869e63a39c684ced1df9576d7aebbecc3bb25","target":"record","created_at":"2026-05-18T01:34:41Z","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":"13e6ceff0f899975c9b1af8e25b97283e131003f482938b36071cedbece48bd1","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-27T03:21:08Z","title_canon_sha256":"4963743ecfe57c2c7409883695d7f08d094d92531bafff641faa6f907d376f61"},"schema_version":"1.0","source":{"id":"1508.06707","kind":"arxiv","version":1}},"canonical_sha256":"72d14290546c51670b801169696437a822c074e8efbc993789464f9ae90cfdb7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72d14290546c51670b801169696437a822c074e8efbc993789464f9ae90cfdb7","first_computed_at":"2026-05-18T01:34:41.325519Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:34:41.325519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MfxP3i/euyFp7OgEAUVgnE9xwjJNMw+6nsTNmrgwm19g8dH9MhjELIJoa39twsrbVsPVKRbKRErmrjs1HscSDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:34:41.326102Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.06707","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6721ddba814cd3364a9e19cc95e869e63a39c684ced1df9576d7aebbecc3bb25","sha256:93d2f13a4b27cbabffc76c229aa7c1818c3167234f52df2fd4bcedb6e13d0700"],"state_sha256":"25006a4448461c0b9b5e1a2605bf6cf6cf49be07ac5d3395787a1a73122d0013"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PHHKWbw+C7QsyuL+79UYNFD1XC8y4cD2DPplNaFEbm25iFBpQ2G1ezuA6V5szqUtf78JjukK/R7xeWxpr5CkDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T06:16:12.367595Z","bundle_sha256":"07a611bc9a4275a3bd62794254841057e36cc90e58e546c66f4b01527ddc8c5a"}}