LEADER 04775nam  22008175  450 
001 9910143625403321
005 20200706063019.0
010   $a3-540-44804-7
024 7 $a10.1007/3-540-44804-7
035   $a(CKB)1000000000211562
035   $a(SSID)ssj0000325894
035   $a(PQKBManifestationID)11258862
035   $a(PQKBTitleCode)TC0000325894
035   $a(PQKBWorkID)10264473
035   $a(PQKB)11055052
035   $a(DE-He213)978-3-540-44804-4
035   $a(MiAaPQ)EBC3071576
035   $a(PPN)155201174
035   $a(EXLCZ)991000000000211562
100   $a20121227d2001      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProcess Algebra and Probabilistic Methods. Performance Modelling and Verification $eJoint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /$fedited by Luca de Alfaro, Stephen Gilmore
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (XII, 224 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2165
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-42556-X 
320   $aIncludes bibliographical references and index.
327   $aInvited Paper -- Advances in Model Representations -- Contributed Papers -- Faster and Symbolic CTMC Model Checking -- Reachability Analysis of Probabilistic Systems by Successive Refinements -- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains -- Coin Lemmas with Random Variables -- MoDeST ? A Modelling and Description Language for Stochastic Timed Systems -- Randomization Helps in LTL Model Checking -- An Efficient Kronecker Representation for PEPA Models -- Reward Based Congruences: Can We Aggregate More? -- Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes -- Expressing Processes with Different Action Durations through Probabilities -- Quantifying the Dynamic Behavior of Process Algebras -- Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
330   $aThis book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2165
606   $aAlgebra
606   $aComputers
606   $aProbabilities
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aProbability Theory and Stochastic Processes$3https://scigraph.springernature.com/ontologies/product-market-codes/M27004
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aAlgebra.
615  0$aComputers.
615  0$aProbabilities.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers)
615 14$aAlgebra.
615 24$aTheory of Computation.
615 24$aProbability Theory and Stochastic Processes.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a511.3
702   $aAlfaro$b Luca de$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGilmore$b Stephen$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aPAPM-PROBMIV 2001
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910143625403321
996   $aProcess Algebra and Probabilistic Methods. Performance Modelling and Verification$91961494
997   $aUNINA