Searching for authors named "Yuxin Deng" – sorted by Relevance.
-
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

