[an error occurred while processing this directive]
[an error occurred while processing this directive]

# Abstract State Machines

#### Subjects

#### Methodology

- Books
- Discussions
- Historical Surveys & Bibliographies
- Introductory Materials
- Refinement

#### Applications

- Abstract Algorithms
- Architectures (hardware and software)
- Benchmark Examples
- Compiler Correctness
- Databases
- Distributed Systems
- Hardware
- Industrial Reports
- Interpreters & Tools (papers only)
- Java
- Logic & Computability
- Mechanical Verification
- Models of Computation (other)
- Montages
- Natural Languages
- Programming Languages
- Protocols
- Real-Time Systems
- Security
- Software Engineering
- UML
- Verification
- VHDL
- WAM/Logic Programming
- Miscellany

#### ASM Studies

- ASM Explorations
- ASM Extensions

# Extensions

## Table of Contents

- Recursive ASMs
  - Definitions (1997)
  - Discussion: Mergesort and Machines (2003)
  - TurboASMs and Recursion (2003)
- Turbo ASMs
  - Composition, Recursion, and Submachines (2000)
  - Application: Jbook (2001)
  - Analysis: Hidden Steps (2003)
  - Remarks on Recursion (2003)
- AsmL: Extensions to Sequential ASMs (2001)
  - Full Paper
  - Extended Abstract
- Table ASMs (2001)
- Dynamic Systems (2000)
  - Extension: Large Typed ASMs
- Hybrid ASMs (2000)
- Objects (2000)
  - Janneck and Kutter (1998)
  - Zamulin (2000)
    - Full Paper
    - Extension: Genericity
- Message-Passing Interacting ASMs (1998)
  - Full Paper
  - Extended Abstract
- Set Macros (1998)
- Synchronized Interacting ASMs (1998)
- Types (1997)
- FLEA (1995)

[an error occurred while processing this directive]