Semantics of Probabilistic Processes: An Operational Approach

By Yuxin Deng

Book Overview

1. Introduction.- 2. Mathematical Preliminaries.- 3. Probabilistic Bisimulation.- 4. Probabilistic Testing Semantics.- 5. Testing Finite Probabilistic Processes.- 6. Testing Finitary Probabilistic Processes.- 7. Weak probabilistic bisimulation.- Index.

• Format: Hardcover
• Language: English
• ISBN: 3662451972
• ISBN13: 9783662451977
• Release Date: March 2015
• Publisher: Springer
• Length: 249 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"