Interactive Markov Chains: The Quest For Quantified Quality

by Holger Hermanns

2021-05-27 03:40:39

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.Based on principles known fro... Read more
Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.
Based on principles known from process algebra, the author systematically develops an algebra of interactive Markov chains. By presenting a number of distinguishing results, of both theoretical and practical nature, the author substantiates the claim that interactive Markov chains are more than just another formalism: Among other, an algebraic theory of interactive Markov chains is developed, devise algorithms to mechanize compositional aggregation are presented, and state spaces of several million states resulting from the study of an ordinary telefone system are analyzed.
Less

Book Details

ISBN9783540442615

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 92.68
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 92.68
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free