Authors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2428)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Authors and Affiliations
-
Faculty of Computer Science Formal Methods and Tools Group, University of Twente, AE Enschede, The Netherlands
Holger Hermanns
Bibliographic Information
Book Title: Interactive Markov Chains
Book Subtitle: The Quest for Quantified Quality
Authors: Holger Hermanns
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45804-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2002
Softcover ISBN: 978-3-540-44261-5Published: 11 September 2002
eBook ISBN: 978-3-540-45804-3Published: 02 August 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 217
Topics: Probability Theory and Stochastic Processes, Software Engineering, Logics and Meanings of Programs, System Performance and Evaluation, Computation by Abstract Devices, Probability and Statistics in Computer Science