Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

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 to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new&nbsp;[&hellip;]
Published on April 30, 2024

  • < Previous
  • 1
  • Next >