Cover Image
Read Now

Interactive Markov Chains The Quest for Quantified Quality

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

Full description

Bibliographic Details
Main Author: Hermanns, Holger
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:1st ed. 2002
Series:Lecture Notes in Computer Science
Subjects:
Mathematical Statistics
Electronic Digital Computers / Evaluation
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
System Performance And Evaluation
Computer Science / Mathematics
Probability And Statistics In Computer Science
Probability Theory
Theory Of Computation
Probabilities
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Interactive Processes
  • Markov Chains
  • Interactive Markov Chains
  • Algebra of Interactive Markov Chains
  • Interactive Markov Chains in Practice
  • Conclusion
  • Proofs for Chapter 3 and Chapter 4
  • Proofs for Chapter 5

Similar Items