Workshop: Abstract State Machines

The Abstract State Machine (ASM) Project (formerly known as the Evolving Algebras Project) was started by Yuri Gurevich almost exactly a decade ago as an attempt to bridge the gap between formal models of computation and practical specification methods.