An Introduction to Abstract State Machines
U. Glässer, R. Gotzhein, A. Prinz
Technical Report 326/03, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003
Abstract
This report explains basic notions and concepts of Abstract State Machines (ASM) as well as notation for defining ASM models. The objective here is to provide an intuitive understanding of the formalism; for a rigorous definition of the mathematical foundations of ASM, the reader is referred to [2] and [3]. Further references on ASM-related material can be found on the ASM Web Pages[1].
Full paper
- pdf (366kb)
Superordinated page: Year 2003 | |
Feedback | |
Go to the contact details of the person in charge of this page |
Deutsch | |
This page in german. Diese Seite auf deutsch. |