ASM 2000: Monte Verità, Switzerland

Introduction

Mathematical Foundations

Abstract State Machine Languages

Distribution and Concurrency

Compilers and Semantics

Automatic Verification and Model Checking

Industrial Applications

maintained by Schloss Dagstuhl LZI at University of Trier