CONTENTS

 1     Preface      
        1.1     Motivation 
        1.2     Main objectives     
        1.3     References
        1.4     Bibliography          
 2     Overview of the Semantics           
        2.1     Grammar
        2.2     Well-formedness conditions           
        2.3     Transformation rules          
        2.4     Dynamic semantics
 3     Abstract State Machines  
        3.1     Basic ASM model 
                  3.1.1     Vocabulary           
                  3.1.2     States       
                  3.1.3     Derived names      
                  3.1.4     Initial states           
                  3.1.5     State transitions and runs   
                  3.1.6     Transition rules     
                  3.1.7     Abbreviations       
                  3.1.8     ASM programs    
        3.2     Distributed ASM   
                  3.2.1     Vocabulary           
                  3.2.2     Agents and runs    
                  3.2.3     Distributed ASM programs           
        3.3     The external world 
        3.4     Real-time behaviour           
        3.5     Example: The system RMS
        3.6     Predefined names