2 papers
cs.LO2023
Probabilistic Operational Correspondence (Technical Report)
Anna Schmitt, Kirstin Peters
Encodings are the main way to compare process calculi. By applying quality criteria to encodings we analyse their quality and rule out trivial or meaningless encodings. Thereby, op…
cs.LO2022
Encodability Criteria for Quantum Based Systems
Anna Schmitt, Kirstin Peters, Yuxin Deng
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…