This is a good resource for understanding issues related to the semantic foundations of concurrent systems. The author especially examines bisimulation semantics and testing semantics.
The book has seven chapters. The first chapter briefly reviews the history and theory of probabilistic concurrency, and considers various approaches to the semantics of concurrent systems. Chapter 2 covers mathematical preliminaries. Chapter 3 is about the operational model of probabilistic-labeled transition systems. A vector-based testing framework is set up in chapter 4. Chapter 5 is about testing procedures for finite probabilistic processes, and chapter 6 extends the framework to finitary processes. Chapter 7 presents a notion of weak probabilistic bisimulation.
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.