{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:37PFKLL7EV72IUSBDSJQ7NU6A2","short_pith_number":"pith:37PFKLL7","canonical_record":{"source":{"id":"1611.05026","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-15T20:52:17Z","cross_cats_sorted":[],"title_canon_sha256":"10e39a87ef97d5816813c977b06a5d77c36940b5670ad221db174d3f700d35fb","abstract_canon_sha256":"da91f72e8617db015cb21777d774a7e41ef55eaefa9e02f0a737340e1a44e982"},"schema_version":"1.0"},"canonical_sha256":"dfde552d7f257fa452411c930fb69e06b86be0bfb24d9815db6294d8f5704b34","source":{"kind":"arxiv","id":"1611.05026","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.05026","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"arxiv_version","alias_value":"1611.05026v3","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.05026","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"pith_short_12","alias_value":"37PFKLL7EV72","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"37PFKLL7EV72IUSB","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"37PFKLL7","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:37PFKLL7EV72IUSBDSJQ7NU6A2","target":"record","payload":{"canonical_record":{"source":{"id":"1611.05026","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-15T20:52:17Z","cross_cats_sorted":[],"title_canon_sha256":"10e39a87ef97d5816813c977b06a5d77c36940b5670ad221db174d3f700d35fb","abstract_canon_sha256":"da91f72e8617db015cb21777d774a7e41ef55eaefa9e02f0a737340e1a44e982"},"schema_version":"1.0"},"canonical_sha256":"dfde552d7f257fa452411c930fb69e06b86be0bfb24d9815db6294d8f5704b34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:58.375905Z","signature_b64":"FIrj3O9pPOOhxjnYPdF+0crVcf9jFQy6OA7tE9WNlDSOmmD6wZJPADkBkuuwphE2ISNkjTq3c3kJZbHYI/x6Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dfde552d7f257fa452411c930fb69e06b86be0bfb24d9815db6294d8f5704b34","last_reissued_at":"2026-05-18T00:39:58.375272Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:58.375272Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.05026","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-18T00:39:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9CaHt1nbPHefPEhchuWGwSCmabcFjGzfcsvDAKDQ7g4SnAoFJK19vC5QnXQ/79SzLBBPaikQQPiI8DkyDHasBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T03:27:21.559216Z"},"content_sha256":"bf74a10bddd36f61046e40014a81d27a90d8193074170136e08a839cf70dddf8","schema_version":"1.0","event_id":"sha256:bf74a10bddd36f61046e40014a81d27a90d8193074170136e08a839cf70dddf8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:37PFKLL7EV72IUSBDSJQ7NU6A2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Undecidability of Asynchronous Session Subtyping","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gianluigi Zavattaro, Marco Carbone, Mario Bravetti","submitted_at":"2016-11-15T20:52:17Z","abstract_excerpt":"Session types are used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicating processes. We investigate the (un)decidability of subtyping for session types in asynchronously communicating systems. We first devise a core undecidable subtyping relation that is obtained by imposing limitations on the structure of types. Then, as a consequence of this initial undecidability result, we show that (differently from what stated or conjectured in the literature) the three notions of asynchronous su"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.05026","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-18T00:39:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TZzCZvdInvo/WfPaSXhss40W2YLMd3JV7bsuh8EvSKpdtV/f5vrqAtbvhzMxUxbBdfbISP/97pp97acn1Bc5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T03:27:21.559585Z"},"content_sha256":"38329d7548531edbffea2d81f22cdfda682e35375d8d2e34472ee6e3c92b2ca2","schema_version":"1.0","event_id":"sha256:38329d7548531edbffea2d81f22cdfda682e35375d8d2e34472ee6e3c92b2ca2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/37PFKLL7EV72IUSBDSJQ7NU6A2/bundle.json","state_url":"https://pith.science/pith/37PFKLL7EV72IUSBDSJQ7NU6A2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/37PFKLL7EV72IUSBDSJQ7NU6A2/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-21T03:27:21Z","links":{"resolver":"https://pith.science/pith/37PFKLL7EV72IUSBDSJQ7NU6A2","bundle":"https://pith.science/pith/37PFKLL7EV72IUSBDSJQ7NU6A2/bundle.json","state":"https://pith.science/pith/37PFKLL7EV72IUSBDSJQ7NU6A2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/37PFKLL7EV72IUSBDSJQ7NU6A2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:37PFKLL7EV72IUSBDSJQ7NU6A2","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":"da91f72e8617db015cb21777d774a7e41ef55eaefa9e02f0a737340e1a44e982","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-15T20:52:17Z","title_canon_sha256":"10e39a87ef97d5816813c977b06a5d77c36940b5670ad221db174d3f700d35fb"},"schema_version":"1.0","source":{"id":"1611.05026","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.05026","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"arxiv_version","alias_value":"1611.05026v3","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.05026","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"pith_short_12","alias_value":"37PFKLL7EV72","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"37PFKLL7EV72IUSB","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"37PFKLL7","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:38329d7548531edbffea2d81f22cdfda682e35375d8d2e34472ee6e3c92b2ca2","target":"graph","created_at":"2026-05-18T00:39:58Z","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":"Session types are used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicating processes. We investigate the (un)decidability of subtyping for session types in asynchronously communicating systems. We first devise a core undecidable subtyping relation that is obtained by imposing limitations on the structure of types. Then, as a consequence of this initial undecidability result, we show that (differently from what stated or conjectured in the literature) the three notions of asynchronous su","authors_text":"Gianluigi Zavattaro, Marco Carbone, Mario Bravetti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-15T20:52:17Z","title":"Undecidability of Asynchronous Session Subtyping"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.05026","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:bf74a10bddd36f61046e40014a81d27a90d8193074170136e08a839cf70dddf8","target":"record","created_at":"2026-05-18T00:39:58Z","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":"da91f72e8617db015cb21777d774a7e41ef55eaefa9e02f0a737340e1a44e982","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-15T20:52:17Z","title_canon_sha256":"10e39a87ef97d5816813c977b06a5d77c36940b5670ad221db174d3f700d35fb"},"schema_version":"1.0","source":{"id":"1611.05026","kind":"arxiv","version":3}},"canonical_sha256":"dfde552d7f257fa452411c930fb69e06b86be0bfb24d9815db6294d8f5704b34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dfde552d7f257fa452411c930fb69e06b86be0bfb24d9815db6294d8f5704b34","first_computed_at":"2026-05-18T00:39:58.375272Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:58.375272Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FIrj3O9pPOOhxjnYPdF+0crVcf9jFQy6OA7tE9WNlDSOmmD6wZJPADkBkuuwphE2ISNkjTq3c3kJZbHYI/x6Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:58.375905Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.05026","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf74a10bddd36f61046e40014a81d27a90d8193074170136e08a839cf70dddf8","sha256:38329d7548531edbffea2d81f22cdfda682e35375d8d2e34472ee6e3c92b2ca2"],"state_sha256":"d64df2fbbe16889b723ef71d3d8751731ce40c213b9562add49cee3b4c9ff4a8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xyQg/VJCrc+hIMUheXKSWUlFoQyDp6K3+/l76LmgOa8asWMZgIaRM+a7bNyIKDhYo4jNKqRIVODWKlXgdIItAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T03:27:21.561535Z","bundle_sha256":"d6a2a1e7173f10704263460c3977e71eef6f851a5e0109569e687135f152e0ed"}}