|
|
Sold Out
Book Categories |
| Advances in Model Representations | 1 | |
| Faster and Symbolic CTMC Model Checking | 23 | |
| Reachability Analysis of Probabilistic Systems by Successive Refinements | 39 | |
| Beyond Memoryless Distributions: Model Checking Semi-Markov Chains | 57 | |
| Coin Lemmas with Random Variables | 71 | |
| MoDeST - A Modelling and Description Language for Stochastic Timed Systems | 87 | |
| Randomization Helps in LTL Model Checking | 105 | |
| An Efficient Kronecker Representation for PEPA Models | 120 | |
| Reward Based Congruences: Can We Aggregate More? | 136 | |
| Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes | 152 | |
| Expressing Processes with Different Action Durations through Probabilities | 168 | |
| Quantifying the Dynamic Behavior of Process Algebras | 184 | |
| Implementing a Stochastic Process Algebra within the Mobius Modeling Framework | 200 | |
| Author Index | 217 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Richard Scott Ellwood
reviewed Process Algebra and Probabilistic Methods. Performance Modelling and Verification on February 13, 2020
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
An exceptional textbook for computer science. This is not among the very popular titles on the subject, but one of the best.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
X
This Item is in Your Inventory
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
X
You must be logged in to review the productsX
X
X
Add Process Algebra and Probabilistic Methods. Performance Modelling and Verification, 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 presen, Process Algebra and Probabilistic Methods. Performance Modelling and Verification to the inventory that you are selling on WonderClubX
X
Add Process Algebra and Probabilistic Methods. Performance Modelling and Verification, 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 presen, Process Algebra and Probabilistic Methods. Performance Modelling and Verification to your collection on WonderClub |