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)