Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : 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 carefull...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
2165 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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 (editors), 2001, Berlin, Springer, 1 vol. (XII-215 p.), Lecture notes in computer science, 3-540-42556-X • Process Algebra and Probabilistic Methods. Performance Modelling and Verification, Texte imprimé, 9783662166994 |
Sadržaj:
- Invited Paper
- Advances in Model Representations
- Contributed Papers
- Faster and Symbolic CTMC Model Checking
- Reachability Analysis of Probabilistic Systems by Successive Refinements
- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
- Coin Lemmas with Random Variables
- MoDeST A Modelling and Description Language for Stochastic Timed Systems
- Randomization Helps in LTL Model Checking
- An Efficient Kronecker Representation for PEPA Models
- Reward Based Congruences: Can We Aggregate More?
- Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes
- Expressing Processes with Different Action Durations through Probabilities
- Quantifying the Dynamic Behavior of Process Algebras
- Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.