Semantics of Probabilistic Processes

An Operational Approach

Autori

• Yuxin Deng

Parametri

• 264 pagine
• 10 ore di lettura

• Computer, IT, programmazione
• Matematica
• Tecnologia e Ingegneria

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2016

(In brossura)