+612 9045 4394
 
CHECKOUT
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

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001. Proceedings

By: Luca De Alfaro (Editor), Stephan Gilmore (Editor)

Paperback Published: 29th August 2001
ISBN: 9783540425564
Number Of Pages: 224

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

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.

Invited Paper
Advances in Model Representationsp. 1
Contributed Papers
Faster and Symbolic CTMC Model Checkingp. 23
Reachability Analysis of Probabilistic Systems by Successive Refinementsp. 39
Beyond Memoryless Distributions: Model Checking Semi-Markov Chainsp. 57
Coin Lemmas with Random Variablesp. 71
MoDeST - A Modelling and Description Language for Stochastic Timed Systemsp. 87
Randomization Helps in LTL Model Checkingp. 105
An Efficient Kronecker Representation for PEPA Modelsp. 120
Reward Based Congruences: Can We Aggregate More?p. 136
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixesp. 152
Expressing Processes with Different Action Durations through Probabilitiesp. 168
Quantifying the Dynamic Behavior of Process Algebrasp. 184
Implementing a Stochastic Process Algebra within the Möbius Modeling Frameworkp. 200
Author Indexp. 217
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540425564
ISBN-10: 354042556X
Series: Lecture Notes in Mathematics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 224
Published: 29th August 2001
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.27
Weight (kg): 0.34