Algebras and automata for timed and stochastic systems

By: Material type: TextTextPublication details: Enschede : Print Partners Ipskamp, 1999Edition: 1st edDescription: xii, 342 p. : il. ; 24 cmISBN:
  • 9036513634
Subject(s):
Contents:
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
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro 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