우리는 시스템 상태를 프로세스 경계를 따라 분할하고, 각 프로세스의 진화를 고립된 상태로 추적할 수 있는 양자 프로세스 계산(quantum process calculus)을 제시합니다. 이 과정에서 결합된 상태에 대한 정보를 잃지 않는 속성을 공간적 구성성(spatial compositionality)이라고 부릅니다. 구성성은 모든 복잡한 시스템에 대해 추론하는 데 핵심이지만, 양자 프로세스 계산은 이를 제공하는 데 어려움을 겪어왔습니다. 즉, 한 번에 하나의 프로세스를 분석할 수 있게 해주는 공간적 종류의 구성성이 부족했습니다. 많은 양자 프로세스 계산이 제안되었지만, 이들은 항상 상태 벡터(state vectors)나 밀도 행렬(density matrices)을 기반으로 하는 전역 상태 표현에 의존해 왔으며, 얽힘(entanglement)에 대한 정보를 잃지 않고 이를 분할하는 알려진 방법은 없습니다. 대신 우리는 양자 상태를 Deutsch-Hayden 디스크립터로 모델링할 것을 제안하며, 이는 큐비트 상태와 그 진화의 모듈식 표현을 제공합니다. 우리는 이 디스크립터를 조정하여 큐비트 저장소(store of qubits)의 임의 분할 및 병합을 허용하게 했고, 이를 통해 큐비트 전송 메시지가 실제 큐비트 상태를 전달하는 특이한 프로세스 계산에 도달했습니다. 기존 계산들은 단지 참조(reference)만 전달했을 뿐입니다. 이 계산은 각 프로세스에게 보이는 시스템 상태의 국소적인 시점들을 제공하며, 이는 다시 결합된 상태로 조립될 수 있습니다. 우리는 물리학에 근거하여 광범위한 정당성을 갖는 프로세스 동등성(process equivalence) 개념을 정의하고, 공간적 구성성에 의해 건전성 증명(soundness proof)이 단순화되는 비시뮬레이션(bisimulation)을 보여줍니다. 이 계산은 외부 프로세스와 얽힌 열린 시스템(open systems)을 모델링할 수 있으며, 우리는 BB84 키 분배 프로토콜의 일부에 대해 이러한 능력을 시연합니다. 이 실험은 Deutsch-Hayden 디스크립터가 프로세스 및 시스템 경계를 가로지르는 큐비트 이동을 성공적으로 추적할 수 있음을 보여주지만, 정보 흐름에 대해 추론하기 위해서는 밀도 행렬의 도움이 필요하다는 것을 보여줍니다.