Le livre est actuellement en rupture de stock

Semantics of Probabilistic Processes

An Operational Approach

Auteurs

Yuxin Deng

Évaluation du livre

4,0(1)Évaluer

Paramètres

264pages
10 heures de lecture

En savoir plus sur le livre

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.