Advertisement

Interactive Markov Chains

And the Quest for Quantified Quality

  • Holger¬†Hermanns

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2428)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Holger Hermanns
    Pages 1-6
  3. Holger Hermanns
    Pages 7-33
  4. Holger Hermanns
    Pages 35-55
  5. Holger Hermanns
    Pages 57-88
  6. Holger Hermanns
    Pages 89-128
  7. Holger Hermanns
    Pages 129-154
  8. Holger Hermanns
    Pages 155-159
  9. Holger Hermanns
    Pages 161-173
  10. Holger Hermanns
    Pages 175-205
  11. Back Matter
    Pages 207-217

About this book

Introduction

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.

Keywords

Concurrent Systems Formal Methods Interactive Processes Markov chain Markovian Process Algebra Performance Analysis Process Algebras State Space Complexity Stochastic Petri Nets Stochastic Process Algebras Systems Analysis Systems Performance algorithms

Authors and affiliations

  • Holger¬†Hermanns
    • 1
  1. 1.Faculty of Computer Science Formal Methods and Tools GroupUniversity of TwenteAE EnschedeThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45804-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44261-5
  • Online ISBN 978-3-540-45804-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Biotechnology
Finance, Business & Banking
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences
Engineering