#### Filter Results:

- Full text PDF available (51)

#### Publication Year

2004

2017

- This year (2)
- Last 5 years (17)
- Last 10 years (46)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan
- 22nd Annual IEEE Symposium on Logic in Computer…
- 2007

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 characterisations for these preorders. This paper solves both… (More)

- Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
- Electr. Notes Theor. Comput. Sci.
- 2006

- Yuxin Deng, Catuscia Palamidessi, Jun Pang
- Processes, Terms and Cycles
- 2005

We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the… (More)

- Yuxin Deng, Matthew Hennessy
- Inf. Comput.
- 2011

Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak bisimulation for such systems and prove that this provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between such systems, a… (More)

- Yuxin Deng, Davide Sangiorgi
- Inf. Comput.
- 2004

A term terminates if all its reduction sequences are of finite length. We<lb>show four type systems that ensure termination of well-typed π-calculus processes.<lb>The systems are obtained by successive refinements of the types of the simply typed<lb>π-calculus. For all (but one of) the type systems we also present upper bounds to the<lb>number of steps… (More)

- Yuxin Deng, Yuan Feng
- IFIP TCS
- 2012

Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of open… (More)

- Yuxin Deng, Catuscia Palamidessi
- Theor. Comput. Sci.
- 2005

We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider various strong and weak behavioral equivalences, and we provide complete axiomatizations for finite-state processes, restricted to guarded definitions in case of the weak equivalences. We… (More)

- Yuxin Deng, Wenjie Du
- Electr. Notes Theor. Comput. Sci.
- 2009

In contrast to its wealth of applications in mathematics, the Kantorovich metric started to be noticed in computer science only in recent years. We give a brief survey of its applications in probabilistic concurrency, image retrieval, data mining, and bioinformatics. This paper highlights the usefulness of the Kantorovich metric as a general mathematical… (More)

- Yuxin Deng, Wenjie Du
- ArXiv
- 2011

Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We show that several existing proposals for lifting relations can be reconciled to be different presentations of essentially the same lifting operation. More interestingly, this… (More)

- Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
- Electr. Notes Theor. Comput. Sci.
- 2007

We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a simple probabilistic version of the process calculus CSP. We examine the algebraic theory of probabilistic testing, and show that many of the axioms of standard testing are no longer… (More)