Manna, Zohar <br/><br/>
The temporal logic of reactive and concurrent systems :  specification 

 - 1st ed. 
 - Nueva York :   Springer-Verlag,  1991 
 - xi, 427 p.  ;  24 cm. 
<br/><br/>Part I: Models of concurrency. -- Chapter 1: Basic models. -- Chapter 2: Modeling real concurrency. -- Part II: Specifications. -- Chapter 3: Temporal logic. -- Chapter 4: Properties of programs. 
<br/><br/><label>ISBN: </label>0387976647 
<br/><br/><label>Standard No.: </label>DIF003117 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SISTEMAS REACTIVOS<br/>MODELO CONCURRENTE