{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:I3L6BLENHVYOB7EBRFGP4BXTHL","short_pith_number":"pith:I3L6BLEN","canonical_record":{"source":{"id":"cs/0601014","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2006-01-06T02:47:41Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c13450978aa0ed357a52373fd47a099d99c62b734264b60b5804a6e295d352dc","abstract_canon_sha256":"76c1a08b8270eda17462994b1f3c712b2c21db0d363e244a2c5a606ba2919347"},"schema_version":"1.0"},"canonical_sha256":"46d7e0ac8d3d70e0fc81894cfe06f33ad64b4fb1ad6bed813be1db00ef3f8783","source":{"kind":"arxiv","id":"cs/0601014","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0601014","created_at":"2026-05-18T03:07:11Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0601014v3","created_at":"2026-05-18T03:07:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0601014","created_at":"2026-05-18T03:07:11Z"},{"alias_kind":"pith_short_12","alias_value":"I3L6BLENHVYO","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"I3L6BLENHVYOB7EB","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"I3L6BLEN","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:I3L6BLENHVYOB7EBRFGP4BXTHL","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0601014","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2006-01-06T02:47:41Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c13450978aa0ed357a52373fd47a099d99c62b734264b60b5804a6e295d352dc","abstract_canon_sha256":"76c1a08b8270eda17462994b1f3c712b2c21db0d363e244a2c5a606ba2919347"},"schema_version":"1.0"},"canonical_sha256":"46d7e0ac8d3d70e0fc81894cfe06f33ad64b4fb1ad6bed813be1db00ef3f8783","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:11.318815Z","signature_b64":"ofNr7jvPESwKJyCuTvyoWEQAnhyNEtDq2DAq/ci8mtHaNWiyZOJHAZARBGm//Z8F1cPQV1sFgbNXCjdxLUOvBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"46d7e0ac8d3d70e0fc81894cfe06f33ad64b4fb1ad6bed813be1db00ef3f8783","last_reissued_at":"2026-05-18T03:07:11.318323Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:11.318323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0601014","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-18T03:07:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x65LHZARyFO7v5THJdtCjlDH1lflTy7OCGS4Bls/KTJWhSTt6mgTVwBJ5zqmsO4oRKp6GOXL+drlUCqjL95YBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T12:59:18.134935Z"},"content_sha256":"8923b8c79b3e9254d49dbb523b1a26f611ff5012f0538701eb32d7590ff4ab91","schema_version":"1.0","event_id":"sha256:8923b8c79b3e9254d49dbb523b1a26f611ff5012f0538701eb32d7590ff4ab91"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:I3L6BLENHVYOB7EBRFGP4BXTHL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic bisimilarities between quantum processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Mingsheng Ying, Runyao Duan, Yuan Feng, Zhengfeng Ji","submitted_at":"2006-01-06T02:47:41Z","abstract_excerpt":"Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and concurrency in complex quantum systems is necessary. For this purpose, we propose a model qCCS which is a natural quantum extension of classical value-passing CCS with the input and output of quantum states, and unitary transformations and measurements on quantum systems. The operational semantics of qCCS is given based on probabilistic labeled transition system. Th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0601014","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-18T03:07:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bM1QzFlUhaHvLwpRI+0v1wu8w+gQgWG4hJrgbYm4JIY9JFoAX2KvyQ+S5XLmz7A9UyusrCcfy6svaRlyo6W5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T12:59:18.135591Z"},"content_sha256":"db01bf4055c6320ba6a27e55dd1d617545b7f033e2936203648eda6baa7b0da7","schema_version":"1.0","event_id":"sha256:db01bf4055c6320ba6a27e55dd1d617545b7f033e2936203648eda6baa7b0da7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I3L6BLENHVYOB7EBRFGP4BXTHL/bundle.json","state_url":"https://pith.science/pith/I3L6BLENHVYOB7EBRFGP4BXTHL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I3L6BLENHVYOB7EBRFGP4BXTHL/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-05-31T12:59:18Z","links":{"resolver":"https://pith.science/pith/I3L6BLENHVYOB7EBRFGP4BXTHL","bundle":"https://pith.science/pith/I3L6BLENHVYOB7EBRFGP4BXTHL/bundle.json","state":"https://pith.science/pith/I3L6BLENHVYOB7EBRFGP4BXTHL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I3L6BLENHVYOB7EBRFGP4BXTHL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:I3L6BLENHVYOB7EBRFGP4BXTHL","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":"76c1a08b8270eda17462994b1f3c712b2c21db0d363e244a2c5a606ba2919347","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2006-01-06T02:47:41Z","title_canon_sha256":"c13450978aa0ed357a52373fd47a099d99c62b734264b60b5804a6e295d352dc"},"schema_version":"1.0","source":{"id":"cs/0601014","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0601014","created_at":"2026-05-18T03:07:11Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0601014v3","created_at":"2026-05-18T03:07:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0601014","created_at":"2026-05-18T03:07:11Z"},{"alias_kind":"pith_short_12","alias_value":"I3L6BLENHVYO","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"I3L6BLENHVYOB7EB","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"I3L6BLEN","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:db01bf4055c6320ba6a27e55dd1d617545b7f033e2936203648eda6baa7b0da7","target":"graph","created_at":"2026-05-18T03:07:11Z","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":"Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and concurrency in complex quantum systems is necessary. For this purpose, we propose a model qCCS which is a natural quantum extension of classical value-passing CCS with the input and output of quantum states, and unitary transformations and measurements on quantum systems. The operational semantics of qCCS is given based on probabilistic labeled transition system. Th","authors_text":"Mingsheng Ying, Runyao Duan, Yuan Feng, Zhengfeng Ji","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2006-01-06T02:47:41Z","title":"Probabilistic bisimilarities between quantum processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0601014","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:8923b8c79b3e9254d49dbb523b1a26f611ff5012f0538701eb32d7590ff4ab91","target":"record","created_at":"2026-05-18T03:07:11Z","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":"76c1a08b8270eda17462994b1f3c712b2c21db0d363e244a2c5a606ba2919347","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2006-01-06T02:47:41Z","title_canon_sha256":"c13450978aa0ed357a52373fd47a099d99c62b734264b60b5804a6e295d352dc"},"schema_version":"1.0","source":{"id":"cs/0601014","kind":"arxiv","version":3}},"canonical_sha256":"46d7e0ac8d3d70e0fc81894cfe06f33ad64b4fb1ad6bed813be1db00ef3f8783","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"46d7e0ac8d3d70e0fc81894cfe06f33ad64b4fb1ad6bed813be1db00ef3f8783","first_computed_at":"2026-05-18T03:07:11.318323Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:11.318323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ofNr7jvPESwKJyCuTvyoWEQAnhyNEtDq2DAq/ci8mtHaNWiyZOJHAZARBGm//Z8F1cPQV1sFgbNXCjdxLUOvBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:11.318815Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0601014","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8923b8c79b3e9254d49dbb523b1a26f611ff5012f0538701eb32d7590ff4ab91","sha256:db01bf4055c6320ba6a27e55dd1d617545b7f033e2936203648eda6baa7b0da7"],"state_sha256":"880743d1b3082256e5827eeb87fc32d20f6e1618a19d9b7c62df1f5755217dce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pRia9RepPE7mdhuywzBBXvQU9dQDq3k9o9YNQAWQ3RekEKXwQOvfCO5DtfC8aF44jUuCC/9Hi4xOwrRyoFKHDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T12:59:18.139110Z","bundle_sha256":"fcb2e5850218b368b03288332ab0728b30dad95925f0072dbc839a6d5260f415"}}