Algebras and automata for timed and stochastic systems

Título:

Algebras and automata for timed and stochastic systems

Autor:

D'Argenio, Pedro R.

Colaboradores:

Temas:

PROCESOS ESTOCÁSTICOS ; MODELOS DE COMPUTACIÓN ; AUTÓMATAS ; SISTEMAS DE TIEMPO REAL ; 

Edición:

1st ed.

Localización electrónica:

Descripción física:

xii, 342 p. :il. ; 24 cm.

ISBN:

9036513634

Idioma:

Inglés, 

País:

Holanda

Publicación:

Enschede : Print Partners Ipskamp, 1999

Nota general:

Tesis de doctorado -- Universidad de Twente, Enschede, Países Bajos, 1999. Incluye nomenclatura e índice.

Puede solicitar más fácilmente el ejemplar con: G.3. DAR

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