Lecture Notes in Computer Science

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

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

Editors: Hermanns, Holger, Segala, Roberto (Eds.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45605-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-43913-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This 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.

Table of contents (16 chapters)

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

    Schiper, André

    Pages 1-15

  • Probability and Timing: Challenges for Secure Programming

    Sands, David

    Pages 16-16

  • Security Analysis of a Probabilistic Non-repudiation Protocol

    Aldini, Alessandro (et al.)

    Pages 17-36

  • The Mean Value of the Maximum

    Bohnenkamp, Henrik (et al.)

    Pages 37-56

  • Reduction and Refinement Strategies for Probabilistic Analysis

    D’Argenio, Pedro R. (et al.)

    Pages 57-76

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45605-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-43913-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Book Subtitle
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
Editors
  • Holger Hermanns
  • Roberto Segala
Series Title
Lecture Notes in Computer Science
Series Volume
2399
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45605-6
DOI
10.1007/3-540-45605-8
Softcover ISBN
978-3-540-43913-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 222
Topics