Process Algebra and Probabilistic Methods. Performance Modelling and Verification

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

  • Luca de Alfaro
  • Stephen Gilmore
Conference proceedings PAPM-PROBMIV 2001

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Paper

    1. Markus Siegle
      Pages 1-22
  3. Contributed Papers

    1. Joost-Pieter Katoen, Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 23-38
    2. Pedro R. D’Argenio, Bertrand Jeannet, Henrik E. Jensen, Kim G. Larsen
      Pages 39-56
    3. Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
      Pages 57-70
    4. Katia Folegati, Roberto Segala
      Pages 71-86
    5. Pedro R. D’Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
      Pages 87-104
    6. Luboš Brim, Ivana Černá, Martin Nečesal
      Pages 105-119
    7. Jane Hillston, Leïla Kloul
      Pages 120-135
    8. Marco Bernardo, Mario Bravetti
      Pages 136-151
    9. Lucia Cloth, Henrik Bohnenkamp, Boudewijn Haverkort
      Pages 152-167
    10. Mario Bravetti, Alessandro Aldini
      Pages 168-183
    11. Peter Buchholz, Peter Kemper
      Pages 184-199
  4. Back Matter
    Pages 217-217

About these proceedings


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.


Random variable algebra model model checking modeling system modeling verification

Editors and affiliations

  • Luca de Alfaro
    • 1
  • Stephen Gilmore
    • 2
  1. 1.Dept. of Electr. and Computer ScienceUniversity of California at BerkeleyBerkeleyUSA
  2. 2.Laboratory for Foundations of Computer ScienceThe University of EdinburghEdinburghUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42556-4
  • Online ISBN 978-3-540-44804-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site