LEADER 04137nam  22007935  450 
001 996466355203316
005 20200704230512.0
010   $a3-540-45804-2
024 7 $a10.1007/3-540-45804-2
035   $a(CKB)1000000000212008
035   $a(SSID)ssj0000324115
035   $a(PQKBManifestationID)11259125
035   $a(PQKBTitleCode)TC0000324115
035   $a(PQKBWorkID)10322707
035   $a(PQKB)10882048
035   $a(DE-He213)978-3-540-45804-3
035   $a(MiAaPQ)EBC3072750
035   $a(PPN)155211285
035   $a(EXLCZ)991000000000212008
100   $a20121227d2002      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aInteractive Markov Chains$b[electronic resource] $eThe Quest for Quantified Quality /$fby Holger Hermanns
205   $a1st ed. 2002.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002.
215   $a1 online resource (XII, 217 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2428
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-44261-8 
320   $aIncludes bibliographical references.
327   $aInteractive 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.
330   $aMarkov 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2428
606   $aProbabilities
606   $aSoftware engineering
606   $aComputer logic
606   $aComputer system failures
606   $aComputers
606   $aMathematical statistics
606   $aProbability Theory and Stochastic Processes$3https://scigraph.springernature.com/ontologies/product-market-codes/M27004
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036
615  0$aProbabilities.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aComputer system failures.
615  0$aComputers.
615  0$aMathematical statistics.
615 14$aProbability Theory and Stochastic Processes.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aSystem Performance and Evaluation.
615 24$aComputation by Abstract Devices.
615 24$aProbability and Statistics in Computer Science.
676   $a519.2/33
700   $aHermanns$b Holger$4aut$4http://id.loc.gov/vocabulary/relators/aut$0555144
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466355203316
996   $aInteractive Markov chains$9983147
997   $aUNISA