Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

EEF
2000

favoriteEmaildiscussreport

154views Embedded Systems» more EEF 2000»

Process Algebra and Markov Chains

13 years 8 months ago

Process Algebra and Markov Chains

Download wwwhome.cs.utwente.nl

This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides

Ed Brinksma, Holger Hermanns

Real-time Traffic

EEF 2000 | Embedded Systems | Paper Surveys | Process Algebra | Time Markov Chains |

claim paper

Related Content

» Performance Evaluation Process Algebra Model Checking Markov Chains

» The How and Why of Interactive Markov Chains

» StateAware Performance Analysis with eXtended Stochastic Probes

» Automated compositional Markov chain generation for a plainold telephone system

» Symbolic Performance and Dependability Evaluation with the Tool CASPA

» Multilevel Adaptive Aggregation for Markov Chains with Application to Web Ranking

» Fluid Flow Approximation of PEPA models

» Process algebra for performance evaluation

» Process Algebra with Probabilistic Choice

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	EEF
Authors	Ed Brinksma, Holger Hermanns

Comments (0)