Semantics of Probabilistic Processes An Operational Approach

Semantics of Probabilistic Processes An Operational Approach / by Yuxin Deng.

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 perspecti...

Full description

Saved in:
Bibliographic Details
Main Author: Deng, Yuxin (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Springer eBook Collection.
Subjects:
Computer logic.
Mathematical logic.
Computer science—Mathematics.
Mathematical statistics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Copy 1 Available

Similar Items