Vi introducerar en algebra qCCS av rena kvantprocesser där kommunikation genom rörliga kvanttillstånd fysiskt är tillåtet och beräkningar modelleras av super-operatorer, men inga klassiska data är uttryckligen involverade. En operativ semantik av qCCS presenteras i termer av (icke-probabilistiska) märkta övergångssystem. Stark bisimulering mellan processer som modelleras i qCCS definieras, och dess grundläggande algebraiska egenskaper är etablerade, inklusive unika lösningar rekursiva ekvationer. För att modellera sekventiell beräkning i qCCS definieras ett reduktionsförhållande mellan processer. Genom att kombinera reduktionssamband och stark bisimulation introducerar vi begreppet stark reduktionsbisimulering, som är en anordning för att observera interaktion mellan beräkning och kommunikation i kvantsystem. Slutligen införs ett begrepp om stark ungefärlig bisimulation (likvärdigt starkt bisimulationsavstånd) och dess reduktionsmotsvarighet. Det är bevisat att både ungefärlig bisimilaritet och ungefärlig reduktionsbisimilaritet bevaras av olika konstruktörer av kvantprocesser. Detta ger oss ett formellt verktyg för att observera robustheten i kvantprocesser mot inkorrekthet i genomförandet av dess elementära portar.
REF infördes som ett slags algebra av rena kvantprocesser (inga klassiska data inblandade) baserade på CCS.
An algebra of quantum processes
{'venue': 'TOCL', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Physics', 'Computer Science']}