Semantics of Probabilistic Processes

More about the book

Focusing on the semantic foundations of concurrent systems, the book explores nondeterministic and probabilistic behavior, emphasizing the connections between testing and simulation semantics. It characterizes bisimulations from various perspectives, including metric, logical, and algorithmic approaches. Presenting recent research in probabilistic concurrency theory, it employs diverse mathematical techniques to address computer science challenges, making it suitable for postgraduate students as well as researchers and practitioners seeking advanced study or technical reference.