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

Hardcover | March 9, 2015

Pricing and Purchase Info

$136.76 online 
$151.95 list price save 9%
Earn 684 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:HardcoverDimensions:249 pagesPublished:March 9, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3662451972

ISBN - 13:9783662451977

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.

Editorial Reviews

"This is a good resource for understanding issuesrelated to the semantic foundations of concurrent systems. . Scholars andresearchers in computer science and mathematics will find this book useful. It consistsof very valuable technical information about the quantitative behavior ofconcurrent systems." (Gulustan Dogan, Computing Reviews, October, 2015)