Stock image for illustration purposes only - book cover, edition or condition may vary.
Semantics of Probabilistic Processes: An Operational Approach
Yuxin Deng
€ 64.57
FREE Delivery in Ireland
Description for Semantics of Probabilistic Processes: An Operational Approach
Hardcover. Semantics of Probabilistic Processes Num Pages: 249 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 248 x 163 x 19. Weight in Grams: 542.
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.
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.
Product Details
Format
Hardback
Publication date
2015
Publisher
Springer
Condition
New
Number of Pages
249
Place of Publication
Berlin, Germany
ISBN
9783662451977
SKU
V9783662451977
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Yuxin Deng
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 Computer Science and Engineering. ... Read more
Reviews for Semantics of Probabilistic Processes: An Operational Approach
“This is a good resource for understanding issues related to the semantic foundations of concurrent systems. … Scholars and researchers in computer science and mathematics will find this book useful. It consists of very valuable technical information about the quantitative behavior of concurrent systems.” (Gulustan Dogan, Computing Reviews, October, 2015)