Interactive Markov Chains: The Quest for Quantified Quality - Lecture Notes in Computer Science 2428 (Paperback)Holger Hermanns (author)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 217
Weight: 750 g
Dimensions: 235 x 155 x 12 mm
Edition: 2002 ed.
You may also be interested in...
Please sign in to write a review