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.

翻译：量子系统是一个相对较新的研究领域，目前包括进程演算在内的多种建模语言正在开发中。编码常被用于比较进程演算，而质量准则则用于排除平凡或无意义的编码。在这一量子系统的新背景下，有必要分析这些质量准则的适用性，并可能对其进行扩展或调整。作为第一步，我们测试了经典准则在量子语言间编码中的适用性，并讨论了新准则。具体而言，我们提出了一种从受CQP启发的语言到受qCCS启发的语言的编码。我们证明该编码满足组合性、名称不变性（针对通道和量子比特名称）、操作对应性、发散反射性、成功敏感性，并保留了量子寄存器的大小。随后我们证明，不存在从qCCS到CQP的编码同时满足组合性、操作对应性和成功敏感性。