000 05033nam a22006135i 4500
001 978-3-540-45605-6
003 DE-He213
005 20240423132524.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 _a9783540456056
_9978-3-540-45605-6
024 7 _a10.1007/3-540-45605-8
_2doi
050 4 _aQA150-272
072 7 _aPBF
_2bicssc
072 7 _aMAT002000
_2bisacsh
072 7 _aPBF
_2thema
082 0 4 _a512
_223
245 1 0 _aProcess Algebra and Probabilistic Methods: Performance Modeling and Verification
_h[electronic resource] :
_bSecond Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
_cedited by Holger Hermanns, Roberto Segala.
250 _a1st ed. 2002.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2002.
300 _aX, 222 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2399
505 0 _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.
520 _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.
650 0 _aAlgebra.
650 0 _aSoftware engineering.
650 0 _aMathematical models.
650 0 _aComputer science.
650 0 _aCompilers (Computer programs).
650 1 4 _aAlgebra.
650 2 4 _aSoftware Engineering.
650 2 4 _aMathematical Modeling and Industrial Mathematics.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aCompilers and Interpreters.
700 1 _aHermanns, Holger.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSegala, Roberto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540439134
776 0 8 _iPrinted edition:
_z9783662195529
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2399
856 4 0 _uhttps://doi.org/10.1007/3-540-45605-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188687
_d188687