pith. sign in
Pith Number

pith:XX5YVGS5

pith:2011:XX5YVGS5JTVBSJZZH5RJW5LM7V
not attested not anchored not stored refs pending

Formal Analysis of Quantum Systems using Process Calculus

Rajagopal Nagarajan (University of Warwick, Simon J. Gay (University of Glasgow, Timothy A.S. Davidson (University of Warwick, UK)

arxiv:1108.0469 v1 · 2011-08-02 · cs.LO · quant-ph

Add to your LaTeX paper
\usepackage{pith}
\pithnumber{XX5YVGS5JTVBSJZZH5RJW5LM7V}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp
2 Internet Archive
3 Author claim open · sign in to claim
4 Citations open
5 Replications open
Portable graph bundle live · download bundle · merged state
The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.
Receipt and verification
First computed 2026-05-18T04:16:30.325674Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6

Aliases

arxiv: 1108.0469 · arxiv_version: 1108.0469v1 · doi: 10.48550/arxiv.1108.0469 · pith_short_12: XX5YVGS5JTVB · pith_short_16: XX5YVGS5JTVBSJZZ · pith_short_8: XX5YVGS5
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/XX5YVGS5JTVBSJZZH5RJW5LM7V \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: bdfb8a9a5d4cea1927393f629b756cfd6af4e7afe30ee0e6129cc20f8cd431a6
Canonical record JSON
{
  "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
  }
}