Semantics Of Probabilistic Processes: An Operational Approach by Yuxin DengSemantics Of Probabilistic Processes: An Operational Approach by Yuxin Deng

Semantics Of Probabilistic Processes: An Operational Approach

byYuxin Deng

Paperback | October 6, 2016

Pricing and Purchase Info

$140.87 online 
$150.50 list price save 6%
Earn 704 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
Yuxin Deng got his BEng (1999) and MSc (2002) from Shanghai Jiao Tong University, China, and PhD (2005) from Ecole des Mines de Paris, France. He was a research associate at University of New South Wales, Australia (2005-2006). Since 2006 he has joined Shanghai Jiao Tong University and is now an associate professor in Department of Com...
Title:Semantics Of Probabilistic Processes: An Operational ApproachFormat:PaperbackDimensions:249 pages, 23.5 × 15.5 × 0.17 inPublished:October 6, 2016Publisher:Springer NatureLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3662515989

ISBN - 13:9783662515983

Look for similar items by category:


Table of Contents

1. Introduction.- 2. Mathematical Preliminaries.- 3. Probabilistic Bisimulation.- 4. Probabilistic Testing Semantics.- 5. Testing Finite Probabilistic Processes.- 6. Testing Finitary Probabilistic Processes.- 7. Weak probabilistic bisimulation.- Index.