{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OGMYN73QBFZBHC37GPXUIYXLAX","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":"1c84028c2275cea3e2f2a19f04ee0609a83ee83863180c3614f2b79378622156","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-02T18:17:38Z","title_canon_sha256":"33208427ddb3248d9ef44a659c4f463c443b3845d92987b4101f7567e171dbeb"},"schema_version":"1.0","source":{"id":"1610.00328","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00328","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00328v3","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00328","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"OGMYN73QBFZB","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OGMYN73QBFZBHC37","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OGMYN73Q","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:bbd3ebb76187e0a431732bb69f44c75d4b75e79506f2b4a1bef03782ca1ec321","target":"graph","created_at":"2026-05-17T23:51:21Z","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":"Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usually provided as the soundness for type safety. The converse direction, the completeness, has been largely ignored in spite of its usefulness to define the largest subtyping relation ensuring type safety. This paper formalises preciseness (i.e. both soundness and completeness) of subtyping for mobile processes and studies it for the synchronous and the asynchronous session calculi. We first prove that the well-known ses","authors_text":"Alceste Scalas, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Tzu-Chun Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-02T18:17:38Z","title":"On the Preciseness of Subtyping in Session Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00328","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:dc91445f254351841e0b67bf8ca6988c82853dad6de0c745a071f5ed18b59959","target":"record","created_at":"2026-05-17T23:51:21Z","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":"1c84028c2275cea3e2f2a19f04ee0609a83ee83863180c3614f2b79378622156","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-02T18:17:38Z","title_canon_sha256":"33208427ddb3248d9ef44a659c4f463c443b3845d92987b4101f7567e171dbeb"},"schema_version":"1.0","source":{"id":"1610.00328","kind":"arxiv","version":3}},"canonical_sha256":"719986ff700972138b7f33ef4462eb05db790548e13a8086a3ddd594b6d341f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"719986ff700972138b7f33ef4462eb05db790548e13a8086a3ddd594b6d341f5","first_computed_at":"2026-05-17T23:51:21.818215Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:21.818215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"smL7gZbxQ1P90mvYJEJkbQ8naAsQQNqmQtT7wfFBltzutod8EugTaow58FVpsZO9XY/VHcT3Pwe+GNvXIMLKDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:21.818784Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.00328","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc91445f254351841e0b67bf8ca6988c82853dad6de0c745a071f5ed18b59959","sha256:bbd3ebb76187e0a431732bb69f44c75d4b75e79506f2b4a1bef03782ca1ec321"],"state_sha256":"5c0fa544ea8e323f7eeada6327768d9c0bc70def70c9238456765a48dc90bbc5"}