Skip to main content
SpringerLink
Log in

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

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

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Luca Alfaro

    1. Dept. of Electr. and Computer Science, University of California at Berkeley, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stephen Gilmore

    1. Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2165)

Included in the following conference series:

Conference proceedings info: PAPM-PROBMIV 2001.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Invited Paper

    1. Advances in Model Representations

      • Markus Siegle
      Pages 1-22

  3. Contributed Papers

    1. Faster and Symbolic CTMC Model Checking

      • Joost-Pieter Katoen, Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 23-38

    2. Reachability Analysis of Probabilistic Systems by Successive Refinements

      • Pedro R. D’Argenio, Bertrand Jeannet, Henrik E. Jensen, Kim G. Larsen
      Pages 39-56

    3. Beyond Memoryless Distributions: Model Checking Semi-Markov Chains

      • Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
      Pages 57-70

    4. Coin Lemmas with Random Variables

      • Katia Folegati, Roberto Segala
      Pages 71-86

    5. MoDeST — A Modelling and Description Language for Stochastic Timed Systems

      • Pedro R. D’Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
      Pages 87-104

    6. Randomization Helps in LTL Model Checking

      • Luboš Brim, Ivana Černá, Martin Nečesal
      Pages 105-119

    7. An Efficient Kronecker Representation for PEPA Models

      • Jane Hillston, Leïla Kloul
      Pages 120-135

    8. Reward Based Congruences: Can We Aggregate More?

      • Marco Bernardo, Mario Bravetti
      Pages 136-151

    9. Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

      • Lucia Cloth, Henrik Bohnenkamp, Boudewijn Haverkort
      Pages 152-167

    10. Expressing Processes with Different Action Durations through Probabilities

      • Mario Bravetti, Alessandro Aldini
      Pages 168-183

    11. Quantifying the Dynamic Behavior of Process Algebras

      • Peter Buchholz, Peter Kemper
      Pages 184-199

    12. Implementing a Stochastic Process Algebra within the Möbius Modeling Framework

      • Graham Clark, William H. Sanders
      Pages 200-215

  4. Back Matter

    Pages 217-217
    Download chapter PDF
Back to top

Other volumes

  1. Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Keywords

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.

Editors and Affiliations

  • Dept. of Electr. and Computer Science, University of California at Berkeley, Berkeley, USA

    Luca Alfaro

  • Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, UK

    Stephen Gilmore

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation