Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng ; Matthew Hennessy ; Rob van Glabbeek ; Carroll Morgan.
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with two problems that have remained open throughout the years, namely to find complete axiomatisations and alternative&nbsp;[&hellip;]
Published on October 28, 2008
Volume 4, Issue 4

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
Volume 20, Issue 2
  • < Previous
  • 1
  • Next >