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