{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:XX5YVGS5JTVBSJZZH5RJW5LM7V","short_pith_number":"pith:XX5YVGS5","canonical_record":{"source":{"id":"1108.0469","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-02T02:27:37Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"64c12410956100c3c97d326d46220781b19cd379c3e62c391caad20f30e86ae3","abstract_canon_sha256":"6482179a1cf0b64ca98b9e08af12f23ea2c9916f494eec40ca08adb843e1e478"},"schema_version":"1.0"},"canonical_sha256":"bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6","source":{"kind":"arxiv","id":"1108.0469","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0469","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0469v1","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0469","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"pith_short_12","alias_value":"XX5YVGS5JTVB","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XX5YVGS5JTVBSJZZ","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XX5YVGS5","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:XX5YVGS5JTVBSJZZH5RJW5LM7V","target":"record","payload":{"canonical_record":{"source":{"id":"1108.0469","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-02T02:27:37Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"64c12410956100c3c97d326d46220781b19cd379c3e62c391caad20f30e86ae3","abstract_canon_sha256":"6482179a1cf0b64ca98b9e08af12f23ea2c9916f494eec40ca08adb843e1e478"},"schema_version":"1.0"},"canonical_sha256":"bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:30.326158Z","signature_b64":"TRWW8LHnwRGEH/oYDqTqZXiaL4tkOveA0WlgWv2C/NgxW12uZG6ZOzuFAAP6HuD6DsGc3JvpdYWuxECPo+w4Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6","last_reissued_at":"2026-05-18T04:16:30.325674Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:30.325674Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.0469","source_version":1,"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-18T04:16:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bOi0t4pvpKofYDiZ3Ruv26jjmrnh9+3WY+5fT0uAa/V6YFjH3ibD0y6zKgCQjzhAhiWsgEQjcDb0puQE3FiIBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:14:11.391675Z"},"content_sha256":"66f309ea6d3df849b78847d8a6483e99e2d84053a5007aa5f779effd6c1b9edf","schema_version":"1.0","event_id":"sha256:66f309ea6d3df849b78847d8a6483e99e2d84053a5007aa5f779effd6c1b9edf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:XX5YVGS5JTVBSJZZH5RJW5LM7V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Analysis of Quantum Systems using Process Calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Rajagopal Nagarajan (University of Warwick, Simon J. Gay (University of Glasgow, Timothy A.S. Davidson (University of Warwick, UK)","submitted_at":"2011-08-02T02:27:37Z","abstract_excerpt":"Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods, such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis.  We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components, and summarize the results of initial inve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0469","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":""},"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-18T04:16:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xkJ59m/r9zrRzR8Vx+nG3el+mO5AoNf99s0jUHWioBUvoFfgLLKGY4q2u0LNBTe4ZlmpJ0It3u5dLz0YCsOaBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:14:11.392410Z"},"content_sha256":"09734b71ce546fdda73742448201fac8c7305862c1b1bbaa26fbe9a4c8f94e28","schema_version":"1.0","event_id":"sha256:09734b71ce546fdda73742448201fac8c7305862c1b1bbaa26fbe9a4c8f94e28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V/bundle.json","state_url":"https://pith.science/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V/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-06T08:14:11Z","links":{"resolver":"https://pith.science/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V","bundle":"https://pith.science/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V/bundle.json","state":"https://pith.science/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:XX5YVGS5JTVBSJZZH5RJW5LM7V","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":"6482179a1cf0b64ca98b9e08af12f23ea2c9916f494eec40ca08adb843e1e478","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-02T02:27:37Z","title_canon_sha256":"64c12410956100c3c97d326d46220781b19cd379c3e62c391caad20f30e86ae3"},"schema_version":"1.0","source":{"id":"1108.0469","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0469","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0469v1","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0469","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"pith_short_12","alias_value":"XX5YVGS5JTVB","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XX5YVGS5JTVBSJZZ","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XX5YVGS5","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:09734b71ce546fdda73742448201fac8c7305862c1b1bbaa26fbe9a4c8f94e28","target":"graph","created_at":"2026-05-18T04:16:30Z","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":"Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods, such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis.  We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components, and summarize the results of initial inve","authors_text":"Rajagopal Nagarajan (University of Warwick, Simon J. Gay (University of Glasgow, Timothy A.S. Davidson (University of Warwick, UK)","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-02T02:27:37Z","title":"Formal Analysis of Quantum Systems using Process Calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0469","kind":"arxiv","version":1},"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:66f309ea6d3df849b78847d8a6483e99e2d84053a5007aa5f779effd6c1b9edf","target":"record","created_at":"2026-05-18T04:16:30Z","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":"6482179a1cf0b64ca98b9e08af12f23ea2c9916f494eec40ca08adb843e1e478","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-02T02:27:37Z","title_canon_sha256":"64c12410956100c3c97d326d46220781b19cd379c3e62c391caad20f30e86ae3"},"schema_version":"1.0","source":{"id":"1108.0469","kind":"arxiv","version":1}},"canonical_sha256":"bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6","first_computed_at":"2026-05-18T04:16:30.325674Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:30.325674Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TRWW8LHnwRGEH/oYDqTqZXiaL4tkOveA0WlgWv2C/NgxW12uZG6ZOzuFAAP6HuD6DsGc3JvpdYWuxECPo+w4Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:30.326158Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.0469","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66f309ea6d3df849b78847d8a6483e99e2d84053a5007aa5f779effd6c1b9edf","sha256:09734b71ce546fdda73742448201fac8c7305862c1b1bbaa26fbe9a4c8f94e28"],"state_sha256":"b1563ee486a10b76bc5530a4bbb02f99836b50fb0b26670f3dd052ce2dbeb2e9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tyes+8RveC/AoU1jqAYsp82B04+vArlA2iOSiNNYYU9Vcd/SvYoYGKUxuxM5Cby3lcvDVXkhvI+NRTtYXK/aBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T08:14:11.396350Z","bundle_sha256":"2e7331e1a17b875a5abf9a19745e9785f43d2781849fffa1198474e29670ca2d"}}