This technical report contains the proofs to the lemmata and theorems of [15] as well as some additional material. The main contributions of [15] are the analysis of the applicability of several quality criteria for encodings within a quantum based setting and a discussion on new, quantum specific criteria. Therefore, an encoding from one quantum based process calculi into another is presented and the quality criteria are applied to it. The separation result proves the absence of an encoding the other way around.

翻译：本技术报告载有对利玛塔和[15]理论的证明以及一些补充材料,[15]的主要贡献是分析在量子环境下对编码的若干质量标准的适用性,并讨论新的量子特定标准,因此,将一个量子计算法编码成另一个量子计算法,对它适用质量标准,分离结果证明没有相反的编码。