Interactive Markov chains and 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, 1967-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2428.
Subjects:	Markov processes. Electronic books.
Online Access:	Connect to the full text of this electronic book