Semantics of Probabilistic Processes
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662451977, 9783662451984

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing Finite Probabilistic Processes

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_5 ◽

2014 ◽

pp. 103-148

Author(s):

Yuxin Deng

Keyword(s):

Probabilistic Processes

Download Full-text

Weak Probabilistic Bisimulation

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_7 ◽

2014 ◽

pp. 233-245

Author(s):

Yuxin Deng

Download Full-text

Testing Finitary Probabilistic Processes

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_6 ◽

2014 ◽

pp. 149-231

Author(s):

Yuxin Deng

Keyword(s):

Probabilistic Processes

Download Full-text

Probabilistic Testing Semantics

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_4 ◽

2014 ◽

pp. 71-102

Author(s):

Yuxin Deng

Keyword(s):

Testing Semantics

Download Full-text

Mathematical Preliminaries

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_2 ◽

2014 ◽

pp. 7-22

Author(s):

Yuxin Deng

Download Full-text

Introduction

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_1 ◽

2014 ◽

pp. 1-5

Author(s):

Yuxin Deng

Download Full-text

Probabilistic Bisimulation

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_3 ◽

2014 ◽

pp. 23-69

Author(s):

Yuxin Deng

Download Full-text