detalle del documento
IDENTIFICACIÓN
oai:arXiv.org:2409.11133
Tema
Computer Science - Programming Lan...Autor
Lanese, Ivan Lago, Ugo Dal Choudhury, VikramanCategoría
Computer Science
Año
2024
fecha de cotización
25/9/2024
Resumen
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom.
In this paper, we extend a minimal MPST system with quantum data and operations, enabling the specification of quantum protocols.
Quantum MPSTs (QMPSTs) provide a formal notation to describe quantum protocols, both at the abstract level of global types, describing which communications can take place in the system and their dependencies, and at the concrete level of local types and quantum processes, describing the expected behavior of each participant in the protocol.
Type-checking relates these two levels formally, ensuring that processes behave as prescribed by the global type.
Beyond usual communication properties, QMPSTs also allow us to prove that qubits are owned by a single process at any time, capturing the quantum no-cloning and no-deleting theorems.
We use our approach to verify four quantum protocols from the literature, respectively Teleportation, Secret Sharing, Bit-Commitment, and Key Distribution.
;Comment: To appear at SEFM 2024
Lanese, Ivan,Lago, Ugo Dal,Choudhury, Vikraman, 2024, Towards Quantum Multiparty Session Types
Shared genetic aetiology of Alzheimer’s disease and age-related macular degeneration by APOC1 and APOE genes
gene diagnostic based analysis amd ad apoe apoc1 identified genes pleiotropy
