Algebras and automata for timed and stochastic systems
Material type:
- 9036513634
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | G.3. DAR (Browse shelf(Opens below)) | Available | DIF-04192 |
Tesis de doctorado -- Universidad de Twente, Enschede, Países Bajos, 1999. Incluye nomenclatura e índice.
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