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 so that every user is expected to observe the license conditions.

Table of Contents

• General Introduction
• ASM Refinement

  1. Refinement Concept

  2. Alternating Bit Protocol
  3. Shortest Path
  4. Leader Election
  5. Lift
• Concurrent ASM communication model
  1. Mutual Exclusion
  2. Network Communication
  3. Recursive ASMs and partial order runs

General Introduction

• Slides: AsmMethIntroSurvey.pdf
• Sources: AsmMethIntroSurvey.zip

ASM Refinement

Refinement Concept

• Slides: Refinement.pdf
• Sources: Refinement.zip

Alternating Bit Protocol

• Slides: AltBit.pdf
• Sources: AltBit.zip

ShortestPath

• Slides: ShortestPath.pdf
• Sources: ShortestPath.zip

Leader Election

• Slides: LeaderElection.pdf
• Sources: LeaderElection.zip
• CoreASM model: LeaderElection.casm

Lift

• Slides: Lift.pdf
• Sources: Lift.zip

Concurrent ASM communication model

Mutual Exclusion

• Slides: MutualExclusion.pdf
• Sources: MutualExclusion.zip

Network Communication

• Slides: AsmVsPetri.pdf
• Sources: AsmVsPetri.zip

Recursive ASMs and partial order runs

• Slides: RecursiveAsms.pdf
• Sources: RecursiveAsms.zip