Back to Search
Start Over
Encodability Criteria for Quantum Based Systems
- Source :
- Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
- Publication Year :
- 2024
- Publisher :
- Logical Methods in Computer Science e.V., 2024.
-
Abstract
- Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new context of quantum based systems, it is necessary to analyse the applicability of these quality criteria and to potentially extend or adapt them. As a first step, we test the suitability of classical criteria for encodings between quantum based languages and discuss new criteria. Concretely, we present an encoding, from a language inspired by CQP into a language inspired by qCCS. We show that this encoding satisfies compositionality, name invariance (for channel and qubit names), operational correspondence, divergence reflection, success sensitiveness, and that it preserves the size of quantum registers. Then we show that there is no encoding from qCCS into CQP that is compositional, operationally corresponding, and success sensitive.
Details
- Language :
- English
- ISSN :
- 18605974
- Volume :
- ume 20, Issue 2
- Database :
- Directory of Open Access Journals
- Journal :
- Logical Methods in Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.522ee45f8794916856579edb5670597
- Document Type :
- article
- Full Text :
- https://doi.org/10.46298/lmcs-20(2:5)2024