Vi definierar ett språk CQP (Communicating Quantum Processes) för modelleringssystem som kombinerar kvant och klassisk kommunikation och beräkning. CQP kombinerar pi-kalculusens kommunikationsimperialer med primitiva för mätning och omvandling av kvanttillstånd; i synnerhet kan kvantbitar (qubits) överföras från process till process längs kommunikationskanaler. CQP har ett statiskt typsystem som klassificerar kanaler, skiljer mellan kvant och klassiska data, och kontrollerar användningen av kvanttillstånd. Vi definierar formellt syntax, operationell semantik och typsystem för CQP, bevisar att semantiken bevarar maskinskrivningen och bevisar att maskinskrivningen garanterar att varje qubit ägs av en unik process inom ett system. Vi illustrerar CQP genom att definiera modeller av flera kvantkommunikationssystem och skissera våra planer för att använda CQP som grund för formell analys och verifiering av kombinerade kvant- och klassiska system.
I REF [11] definierades ett språk som kallas CQP (Communicating Quantum Processes) genom att lägga till primitiver för kvantmätningar och omvandling av kvanttillstånd till π-kalculus.
Communicating quantum processes
{'venue': "POPL '05", 'journal': None, 'mag_field_of_study': ['Physics', 'Mathematics', 'Computer Science']}