Additional Material

Here you find additional downloadable lecture material on various themes related to the ASM modeling method. The content is offered under the CC BY-SA-NC 4.0 license CC BY-NC-SA 4.0 Logo so that every user is expected to observe the license conditions.

Table of Contents

General Introduction

ASM Refinement

Refinement Concept

Alternating Bit Protocol


Leader Election


Concurrent ASM communication model

Mutual Exclusion

Network Communication

Recursive ASMs and partial order runs