Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Editors: Alfaro, Luca de, Gilmore, Stephen (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-44804-4
  • 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-42556-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

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

Table of contents (13 chapters)

Table of contents (13 chapters)
  • Advances in Model Representations

    Pages 1-22

    Siegle, Markus

  • Faster and Symbolic CTMC Model Checking

    Pages 23-38

    Katoen, Joost-Pieter (et al.)

  • Reachability Analysis of Probabilistic Systems by Successive Refinements

    Pages 39-56

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

  • Beyond Memoryless Distributions: Model Checking Semi-Markov Chains

    Pages 57-70

    López, Gabriel G. Infante (et al.)

  • Coin Lemmas with Random Variables

    Pages 71-86

    Folegati, Katia (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-44804-4
  • 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-42556-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • 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 Modelling and Verification
Book Subtitle
Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Editors
  • Luca de Alfaro
  • Stephen Gilmore
Series Title
Lecture Notes in Computer Science
Series Volume
2165
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44804-4
DOI
10.1007/3-540-44804-7
Softcover ISBN
978-3-540-42556-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 224
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.