TABLE DES MATIÈRES

 1     Préface      
        1.1     Motivation 
        1.2     Objectifs principaux           
        1.3     Références
        1.4     Bibliographie         
 2     Aperçu général de la sémantique  
        2.1     Grammaire
        2.2     Conditions de validité structurelle   
        2.3     Règles de transformation    
        2.4     Sémantique dynamique      
 3     Automates abstraits à états finis (ASM)    
        3.1     Automate ASM à agent unique      
                  3.1.1     Vocabulaire          
                  3.1.2     Etats         
                  3.1.3     Noms dérivés       
                  3.1.4     Etats initiaux         
                  3.1.5     Transitions d'état et passes
                  3.1.6     Règles de transition           
                  3.1.7     Abréviations         
                  3.1.8     Programmes d'automate ASM à agent unique        
        3.2     Automate ASM à agents multiples  
                  3.2.1     Vocabulaire          
                  3.2.2     Agents et passes   
                  3.2.3     Programmes d'automate ASM à agents multiples   
        3.3     Le monde extérieur
        3.4     Comportement en temps réel         
        3.5     Exemple: le système RMS  
        3.6     Noms prédéfinis