D'Argenio, Pedro R. <br/><br/>
Algebras and automata for timed and stochastic systems 

 - 1st ed. 
 - Enschede :   Print Partners Ipskamp,  1999 
 - xii, 342 p.  :  il. ;  24 cm. 
<br/><br/> Tesis de doctorado -- Universidad de Twente, Enschede, Países Bajos, 1999. Incluye nomenclatura e índice. 
<br/><br/>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 
<br/><br/><label>ISBN: </label>9036513634 
<br/><br/><label>Standard No.: </label>DIF-M6288 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROCESOS ESTOCÁSTICOS<br/>MODELOS DE COMPUTACIÓN<br/>AUTÓMATAS<br/>SISTEMAS DE TIEMPO REAL