Encodability Criteria for Quantum Based Systems (Technical Report)

04/12/2022
by   Anna Schmitt, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset