Trending Bestseller

Interactive Markov Chains

The Quest for Quantified Quality

No reviews yet Write a Review
Paperback / softback
11 September 2002
$121.54
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
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.

You Can Find This Title In

    Product Details
    ISBN-13
    9783540442615
    Author
    Holger Hermanns
    Publisher
    Springer Nature B.V.
    Published
    11 September 2002
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    $121.54
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Interactive Markov Chains

    $121.54

    Description

    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.

    You Can Find This Title In

      This Title Is Categorised As