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
Showing quant-phShow all

1 paper · 1 filter

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…