works on
bisimulation 1Deutsch-Hayden descriptors 1distributed quantum computing 1quantum process calculus 1quantum protocols 1spatial compositionality 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

quant-ph2026

Distributed Semantics for Distributed Quantum Computing

Jun Inoue

The paper introduces a quantum process calculus that uses Deutsch‑Hayden descriptors to split and recombine quantum states across process boundaries, enabling localized reasoning a…