Overview
- The first book available on probabilistic testing semantics
- Offers in-depth examination of probabilistic bisimulation from logical, metric, and algorithmic perspectives
- Demonstrates the use of many mathematical techniques in solving problems in computer science
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Reviews
“This is a good resource for understanding issues related to the semantic foundations of concurrent systems. … Scholars and researchers in computer science and mathematics will find this book useful. It consists of very valuable technical information about the quantitative behavior of concurrent systems.” (Gulustan Dogan, Computing Reviews, October, 2015)
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Semantics of Probabilistic Processes
Book Subtitle: An Operational Approach
Authors: Yuxin Deng
DOI: https://doi.org/10.1007/978-3-662-45198-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Shanghai Jiao Tong University Press, Shanghai and Springer-Verlag Berlin Heidelberg 2014
Hardcover ISBN: 978-3-662-45197-7Published: 09 March 2015
Softcover ISBN: 978-3-662-51598-3Published: 06 October 2016
eBook ISBN: 978-3-662-45198-4Published: 06 February 2015
Edition Number: 1
Number of Pages: XIV, 249
Number of Illustrations: 32 b/w illustrations
Additional Information: Jointly published with Shanghai Jiao Tong University Press, Shanghai, China
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Discrete Mathematics in Computer Science, Probability and Statistics in Computer Science