Formal Methods and Stochastic Models for Performance Evaluation

Constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. This book contains topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, and formal dependability and performance evaluation.