Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Alfaro, Luca de (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Gilmore, Stephen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2165
• Θέματα: Algebra.; Computers.; Probabilities.; Computer logic.; Software engineering.; Programming languages (Electronic computers).; Theory of Computation.; Probability Theory and Stochastic Processes.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.

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

Πίνακας περιεχομένων:

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