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