Semantics of Probabilistic Processes

An Operational Approach

  • Yuxin Deng

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Yuxin Deng
    Pages 1-5
  3. Yuxin Deng
    Pages 7-22
  4. Yuxin Deng
    Pages 23-69
  5. Yuxin Deng
    Pages 71-102
  6. Yuxin Deng
    Pages 103-148
  7. Yuxin Deng
    Pages 149-231
  8. Yuxin Deng
    Pages 233-245
  9. Back Matter
    Pages 247-249

About this book


This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.


Operational Semantics Probabilistic Bisimulation Probabilistic Processes Simulation Preorders Testing Preorders modal logics

Authors and affiliations

  • Yuxin Deng
    • 1
  1. 1.Shanghai Jiao Tong UniversityShanghaiChina

Bibliographic information

  • DOI
  • Copyright Information Shanghai Jiao Tong University Press, Shanghai and Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-45197-7
  • Online ISBN 978-3-662-45198-4
  • Buy this book on publisher's site
Industry Sectors
IT & Software