Searching for authors named "Yuxin Deng" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Axiomatizations for probabilistic finite-state
- … Axiomatizations for probabilistic finite-state behaviors Yuxin Deng1? and Catuscia Palamidessi2…
- Add To MetaCart
-
Axiomatizations for probabilistic finite-state behaviors
- … Axiomatizations for Probabilistic Finite-State Behaviors Yuxin Deng1? and Catuscia Palamidessi2…
- Cited by 14 (3 self) – Add To MetaCart
-
Towards an Algebraic Theory of Typed Mobile Processes
- …Towards an algebraic theory of typed mobile processes ⋆ Yuxin Deng 1 and Davide Sangiorgi 2 1…
- Cited by 4 (1 self) – Add To MetaCart
-
Game Characterizations of Process Equivalences
- …Game Characterizations of Process Equivalences Xin Chen ⋆ and Yuxin Deng ⋆⋆ Department of Computer…
- Add To MetaCart
-
Compositional reasoning for probabilistic finite-state behaviors
- …Compositional Reasoning for Probabilistic Finite-State Behaviors Yuxin Deng 1 ⋆ , Catuscia…
- Cited by 10 (3 self) – Add To MetaCart
-
Metrics for Action-labelled Quantitative Transition Systems
- … 1 Yuxin Deng a,2 Tom Chothia b Catuscia Palamidessi c Jun Pang c a INRIA Sophia…
- Cited by 12 (3 self) – Add To MetaCart
-
Measuring anonymity with relative entropy
- …Measuring Anonymity with Relative Entropy Yuxin Deng 1 , Jun Pang 2 , Peng Wu 3 1 The University…
- Cited by 7 (1 self) – Add To MetaCart
-
unknown title
- … Towards an algebraic theory of typed mobile processes? Yuxin Deng1 and Davide Sangiorgi2 1…
- Add To MetaCart
-
Ensuring termination by typability
- … Ensuring Termination by Typability ? Yuxin Deng1 and Davide Sangiorgi2 1 INRIA and University…
- Cited by 5 (1 self) – Add To MetaCart
-
Characterising testing preorders for finite probabilistic processes
- …Yuxin Deng ∗ Jiao Tong University Shanghai, China Characterising Testing Preorders for Finite…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
