�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����