I. Introduction
1. Introduction
2. Preliminaries
II. Timed systems
3. Timed transition systems
4. Timed automata
5. Algebra for real-time systems
6. Equational theory for
7. Further exmaples using
III. Stochastic systems
8. Probabilistic transition systems
9. Stochastic automata
10. Stochastic process algebra for discret event systems
11. Equational theory for
12. Analysis of specifications
13. Concluding remarks
IV. Technicalities
A. Proofs from chapter 4
B. Proofs from chapter 5
C. Proofs from chapter 6
D. Some concepts of probability theory
E. Proofs from chapter 9
F. Proofs from chapter 10
G. Proofs from chapter 11
Bibliography
Nomenclature
Index
Abstract
Samenvatting