{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2007:L3EXPCHORLU44XCNELSQ7IBP34","short_pith_number":"pith:L3EXPCHO","schema_version":"1.0","canonical_sha256":"5ec97788ee8ae9ce5c4d22e50fa02fdf33ac0022b499fc7995daecbf6f000ee9","source":{"kind":"arxiv","id":"0707.0330","version":2},"attestation_state":"computed","paper":{"title":"An Algebra of Quantum Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Runyao Duan, Yuan Feng, Zhengfeng Ji","submitted_at":"2007-07-03T01:49:55Z","abstract_excerpt":"We introduce an algebra qCCS of pure quantum processes in which no classical data is involved, communications by moving quantum states physically are allowed, and computations is modeled by super-operators. An operational semantics of qCCS is presented in terms of (non-probabilistic) labeled transition systems. Strong bisimulation between processes modeled in qCCS is defined, and its fundamental algebraic properties are established, including uniqueness of the solutions of recursive equations. To model sequential computation in qCCS, a reduction relation between processes is defined. By combin"},"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":"0707.0330","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2007-07-03T01:49:55Z","cross_cats_sorted":[],"title_canon_sha256":"b43b2d5cadc27c29f24e432ef6b587db342235e4464eaa89afeb0428951c58dc","abstract_canon_sha256":"3955784caeb9c6728b350ef2f99bcc74c98795b619fa63e4b0eca0b384853221"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:16.559603Z","signature_b64":"I8A39Bmm9MxiVU9TOpAfZ3L0OrzWmuVzXBqYs2IrzaT7OATFjgU+SJy7OswsRKQq64Z2+I7mwtV5lNYr1RawDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ec97788ee8ae9ce5c4d22e50fa02fdf33ac0022b499fc7995daecbf6f000ee9","last_reissued_at":"2026-05-18T04:41:16.559103Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:16.559103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Algebra of Quantum Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Runyao Duan, Yuan Feng, Zhengfeng Ji","submitted_at":"2007-07-03T01:49:55Z","abstract_excerpt":"We introduce an algebra qCCS of pure quantum processes in which no classical data is involved, communications by moving quantum states physically are allowed, and computations is modeled by super-operators. An operational semantics of qCCS is presented in terms of (non-probabilistic) labeled transition systems. Strong bisimulation between processes modeled in qCCS is defined, and its fundamental algebraic properties are established, including uniqueness of the solutions of recursive equations. To model sequential computation in qCCS, a reduction relation between processes is defined. By combin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0707.0330","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0707.0330","created_at":"2026-05-18T04:41:16.559187+00:00"},{"alias_kind":"arxiv_version","alias_value":"0707.0330v2","created_at":"2026-05-18T04:41:16.559187+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0707.0330","created_at":"2026-05-18T04:41:16.559187+00:00"},{"alias_kind":"pith_short_12","alias_value":"L3EXPCHORLU4","created_at":"2026-05-18T12:25:55.427421+00:00"},{"alias_kind":"pith_short_16","alias_value":"L3EXPCHORLU44XCN","created_at":"2026-05-18T12:25:55.427421+00:00"},{"alias_kind":"pith_short_8","alias_value":"L3EXPCHO","created_at":"2026-05-18T12:25:55.427421+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/L3EXPCHORLU44XCNELSQ7IBP34","json":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34.json","graph_json":"https://pith.science/api/pith-number/L3EXPCHORLU44XCNELSQ7IBP34/graph.json","events_json":"https://pith.science/api/pith-number/L3EXPCHORLU44XCNELSQ7IBP34/events.json","paper":"https://pith.science/paper/L3EXPCHO"},"agent_actions":{"view_html":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34","download_json":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34.json","view_paper":"https://pith.science/paper/L3EXPCHO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0707.0330&json=true","fetch_graph":"https://pith.science/api/pith-number/L3EXPCHORLU44XCNELSQ7IBP34/graph.json","fetch_events":"https://pith.science/api/pith-number/L3EXPCHORLU44XCNELSQ7IBP34/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34/action/storage_attestation","attest_author":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34/action/author_attestation","sign_citation":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34/action/citation_signature","submit_replication":"https://pith.science/pith/L3EXPCHORLU44XCNELSQ7IBP34/action/replication_record"}},"created_at":"2026-05-18T04:41:16.559187+00:00","updated_at":"2026-05-18T04:41:16.559187+00:00"}