ÍNDICE

 1     Prefacio     
        1.1     Motivación
        1.2     Objetivos principales         
        1.3     Referencias
        1.4     Bibliografía
 2     Visión general de la semántica      
        2.1     Gramática  
        2.2     Condiciones de formación correcta
        2.3     Reglas de transformación   
        2.4     Semántica dinámica           
 3     Maquinas de estados abstractos   
        3.1     Modelo ASM básico         
                  3.1.1     Vocabulario          
                  3.1.2     Estados    
                  3.1.3     Nombres derivados          
                  3.1.4     Estados iniciales    
                  3.1.5     Transiciones de estado y ejecuciones        
                  3.1.6     Reglas de transición          
                  3.1.7     Abreviaturas         
                  3.1.8     Programas de ASM          
        3.2     ASM distribuida    
                  3.2.1     Vocabulario          
                  3.2.2     Agentes y ejecuciones       
                  3.2.3     Programas de ASM distribuidas    
        3.3     El mundo externo   
        3.4     Comportamiento en tiempo real     
        3.5     Ejemplo: el sistema RMS   
        3.6     Nombres definidos previamente