{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:XEBI4FSVPEP332E5BSIHNBHKQ6","short_pith_number":"pith:XEBI4FSV","schema_version":"1.0","canonical_sha256":"b9028e1655791fbde89d0c907684ea87b3305cd92c17dd341fae33c39253b596","source":{"kind":"arxiv","id":"2104.14796","version":1},"attestation_state":"computed","paper":{"title":"Verification of Distributed Quantum Programs","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Sanjiang Li, Yuan Feng","submitted_at":"2021-04-30T07:23:55Z","abstract_excerpt":"Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpose quantum computer is much more difficult than connecting many small quantum devices. One major challenge of implementing distributed quantum systems is programming them and verifying their correctness. In this paper, we propose a CSP-like distributed programming language to facilitate the specification and verification of such systems. After presenting its operational and denota"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2104.14796","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"quant-ph","submitted_at":"2021-04-30T07:23:55Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ccd2f5efa0791bfa569d8b58453d8449932ffea97fff786c8b2df8acf03a35ae","abstract_canon_sha256":"ade25e9a90f04f48a87b843d1222572f5ae161b004bb1730c9f43df30ad89bcc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:35:08.280543Z","signature_b64":"6wh/RjEfAG85IdtyFG8WZ/N8m5EbkCOtKW8sPYkbSWhNGpz8xVlgm5p4Uox9rGWmoYyqKRlUjlWa5sq5KmTSBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9028e1655791fbde89d0c907684ea87b3305cd92c17dd341fae33c39253b596","last_reissued_at":"2026-07-05T04:35:08.280087Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:35:08.280087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verification of Distributed Quantum Programs","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Sanjiang Li, Yuan Feng","submitted_at":"2021-04-30T07:23:55Z","abstract_excerpt":"Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpose quantum computer is much more difficult than connecting many small quantum devices. One major challenge of implementing distributed quantum systems is programming them and verifying their correctness. In this paper, we propose a CSP-like distributed programming language to facilitate the specification and verification of such systems. After presenting its operational and denota"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.14796","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2104.14796/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2104.14796","created_at":"2026-07-05T04:35:08.280148+00:00"},{"alias_kind":"arxiv_version","alias_value":"2104.14796v1","created_at":"2026-07-05T04:35:08.280148+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.14796","created_at":"2026-07-05T04:35:08.280148+00:00"},{"alias_kind":"pith_short_12","alias_value":"XEBI4FSVPEP3","created_at":"2026-07-05T04:35:08.280148+00:00"},{"alias_kind":"pith_short_16","alias_value":"XEBI4FSVPEP332E5","created_at":"2026-07-05T04:35:08.280148+00:00"},{"alias_kind":"pith_short_8","alias_value":"XEBI4FSV","created_at":"2026-07-05T04:35:08.280148+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6","json":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6.json","graph_json":"https://pith.science/api/pith-number/XEBI4FSVPEP332E5BSIHNBHKQ6/graph.json","events_json":"https://pith.science/api/pith-number/XEBI4FSVPEP332E5BSIHNBHKQ6/events.json","paper":"https://pith.science/paper/XEBI4FSV"},"agent_actions":{"view_html":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6","download_json":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6.json","view_paper":"https://pith.science/paper/XEBI4FSV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2104.14796&json=true","fetch_graph":"https://pith.science/api/pith-number/XEBI4FSVPEP332E5BSIHNBHKQ6/graph.json","fetch_events":"https://pith.science/api/pith-number/XEBI4FSVPEP332E5BSIHNBHKQ6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6/action/storage_attestation","attest_author":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6/action/author_attestation","sign_citation":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6/action/citation_signature","submit_replication":"https://pith.science/pith/XEBI4FSVPEP332E5BSIHNBHKQ6/action/replication_record"}},"created_at":"2026-07-05T04:35:08.280148+00:00","updated_at":"2026-07-05T04:35:08.280148+00:00"}