Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Editors:

ISBN: 978-3-540-43913-4 (Print) 978-3-540-45605-6 (Online)

Table of contents (16 chapters)

  1. Invited Contributions

    1. No Access

      Book Chapter

      Pages 1-15

      Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs

    2. No Access

      Book Chapter

      Pages 16-16

      Probability and Timing: Challenges for Secure Programming

  2. Selected Papers

    1. No Access

      Book Chapter

      Pages 17-36

      Security Analysis of a Probabilistic Non-repudiation Protocol

    2. No Access

      Book Chapter

      Pages 37-56

      The Mean Value of the Maximum

    3. No Access

      Book Chapter

      Pages 57-76

      Reduction and Refinement Strategies for Probabilistic Analysis

    4. No Access

      Book Chapter

      Pages 77-94

      Action Refinement for Probabilistic Processes with True Concurrency Models

    5. No Access

      Book Chapter

      Pages 95-114

      Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

    6. No Access

      Book Chapter

      Pages 115-134

      Possibilistic and Probabilistic Abstraction-Based Model Checking

    7. No Access

      Book Chapter

      Pages 135-151

      Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling

    8. No Access

      Book Chapter

      Pages 152-168

      Model Checking CSL until Formulae with Random Time Bounds

    9. No Access

      Book Chapter

      Pages 169-187

      Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol

    10. No Access

      Book Chapter

      Pages 188-206

      Deriving Symbolic Representations from Stochastic Process Algebras

  3. Short Abstracts

    1. No Access

      Book Chapter

      Pages 207-208

      A Generalization of Equational Proof Theory?

    2. No Access

      Book Chapter

      Pages 209-210

      An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

    3. No Access

      Book Chapter

      Pages 211-212

      Probabilistic Abstract Interpretation and Statistical Testing

    4. No Access

      Book Chapter

      Pages 213-214

      Approximate Verification of Probabilistic Systems