Formal Methods for Performance Evaluation / Ulrich Herzog |
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort |
Introduction to Stochastic Petri Nets / Gianfranco Balbo |
Non-Markovian Analysis / Reinhard German |
Process Algebra and Markov Chains / Ed Brinksma ; Holger Hermanns |
Verification of Randomized Distributed Algorithms / Roberto Segala |
Constructing Automata from Temporal Logic Formulas: A Tutorial / Pierre Wolper |
Exploiting Structure in Solution: Decomposing Compositional Models / Jane Hillston |
Stochastic Activity Networks: Formal Definitions and Concepts / William H. Sanders ; John F. Meyer |
Distributed and Structured Analysis Approaches to Study Large and Complex Systems / Gianfranco Ciardo |
General Distributions in Process Algebra / Joost-Pieter Katoen ; Pedro R. D'Argenio |
Author Index |
Formal Methods for Performance Evaluation / Ulrich Herzog |
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort |
Introduction to Stochastic Petri Nets / Gianfranco Balbo |