LEADER 06120nam 22007935 450 001 996466371603316 005 20200705164344.0 010 $a3-540-45605-8 024 7 $a10.1007/3-540-45605-8 035 $a(CKB)1000000000211979 035 $a(SSID)ssj0000325895 035 $a(PQKBManifestationID)11262698 035 $a(PQKBTitleCode)TC0000325895 035 $a(PQKBWorkID)10264843 035 $a(PQKB)10811360 035 $a(DE-He213)978-3-540-45605-6 035 $a(MiAaPQ)EBC3072206 035 $a(PPN)155232177 035 $a(EXLCZ)991000000000211979 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProcess Algebra and Probabilistic Methods: Performance Modeling and Verification$b[electronic resource] $eSecond Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /$fedited by Holger Hermanns, Roberto Segala 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 222 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2399 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43913-7 320 $aIncludes bibliographical references and index. 327 $aInvited Contributions -- Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs -- Probability and Timing: Challenges for Secure Programming -- Selected Papers -- Security Analysis of a Probabilistic Non-repudiation Protocol -- The Mean Value of the Maximum -- Reduction and Refinement Strategies for Probabilistic Analysis -- Action Refinement for Probabilistic Processes with True Concurrency Models -- Probabilistic Unfoldings and Partial Order Fairness in Petri Nets -- Possibilistic and Probabilistic Abstraction-Based Model Checking -- Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling -- Model Checking CSL until Formulae with Random Time Bounds -- Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol -- Deriving Symbolic Representations from Stochastic Process Algebras -- Short Abstracts -- A Generalization of Equational Proof Theory? -- An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems -- Probabilistic Abstract Interpretation and Statistical Testing -- Approximate Verification of Probabilistic Systems. 330 $aThis volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25?26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2399 606 $aAlgebra 606 $aSoftware engineering 606 $aMathematical models 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aMathematical Modeling and Industrial Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M14068 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$aSoftware engineering. 615 0$aMathematical models. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aAlgebra. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aMathematical Modeling and Industrial Mathematics. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a511.3 702 $aHermanns$b Holger$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSegala$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPAPM-PROBMIV 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466371603316 996 $aProcess Algebra and Probabilistic Methods: Performance Modeling and Verification$92065523 997 $aUNISA