Interactive Markov Chains - The Quest for Quantified Quality (Paperback, 2002 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2428
Release date:	September 2002
First published:	2002
Authors:	Holger Hermanns
Dimensions:	235 x 155 x 12mm (L x W x T)
Format:	Paperback
Pages:	217
Edition:	2002 ed.
ISBN-13:	978-3-540-44261-5
Categories:	Books > Science & Mathematics > Mathematics > Applied mathematics > Stochastics
LSN:	3-540-44261-8
Barcode:	9783540442615

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!