Das Buch ist derzeit nicht auf Lager

Semantics of Probabilistic Processes

An Operational Approach

Autor*innen

Yuxin Deng

Buchbewertung

4,0(1)Abgeben

Parameter

264 Seiten
10 Lesestunden

Mehr zum Buch

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.