{"id":"arxiv/2607.11216","url":"https://arxiv.org/abs/2607.11216","tags":["quant-ph","cs.PL"],"score":0,"title":"Distributed Semantics for Distributed Quantum Computing","domain":"quant-ph","source":"arxiv","authors":["Jun Inoue"],"reviews":0,"subject":"quant-ph","summary":"We present a quantum process calculus that can split the system state along process boundaries and follow the evolution of each process in isolation, without losing information about the joint state-a property we call spatial compositionality. Compositionality is the key to reasoning about any complex system, yet quantum process calculi have struggled to provide its spatial kind, which would enable analyzing a system one process at a time. Many a quantum process calculi have been proposed, but they invariably rely on a global state representation based on state vectors or density matrices,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}