Semantics of Probabilistic Processes

An Operational Approach

Autor*innen

• Yuxin Deng

Parameter

• 264 Seiten
• 10 Lesestunden

• Informatik & Programmierung
• Mathematik
• Technik & Maschinenbau

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.

• Sprache: Englisch
• Erscheinungsdatum: 2016
• Einband: Paperback